|
1) The only animals in this house are cats. 2) Every animal is suitable for a pet, that loves to gaze at the moon. 3) When I detest an animal, I avoid it. 4) No animals are carnivorous, unless they prowl at night. 5) No cat fails to kill mice. 6) No animals ever take to me, except what are in this house. 7) Kangaroos are not suitable for pets. 8) None but carnivora kill mice. 9) I detest animals that do not take to me. 10) Animals that prowl at night always love to gaze at the moon. The problem is to prove that "I always avoid a kangaroo".
cnf(avoid_kangaroo,negated_conjecture,
( ~ avoided(the_kangaroo) )).
$false(by SOS 2.0)
$false(by Faust 1.0)
$false(by Ayane 1.1)
$false(by Metis 2.2)
$false(by Vampire 11.0)
$false(by Vampire 9.0)
$false(by Otter 3.3)
$false(by SNARK 20080805r018b)
$false(by SPASS 3.5)
$false(by EP 1.1)
Copyright 2010 Inference Web group.
All Rights Reserved.
