The cow visits the dog. The cow does not visit the rabbit. The dog is not young. The dog sees the squirrel. The dog does not visit the rabbit. The rabbit eats the squirrel. The rabbit sees the dog. The rabbit visits the dog. The squirrel eats the cow. The squirrel is not nice. If something eats the rabbit and it is round then it visits the rabbit. If something eats the dog then the dog visits the cow. If something sees the rabbit then it sees the cow. If something sees the rabbit then it sees the cow. If something visits the squirrel and it sees the cow then the squirrel is nice. If something visits the dog then it visits the cow. If something eats the rabbit then it is blue. If something visits the cow then it eats the dog. If something visits the dog and the dog visits the cow then it sees the rabbit.
The squirrel is not blue.
@0: The cow does not visit the rabbit.[(triple2)] The cow visits the dog.[(triple1)] The dog does not visit the rabbit.[(triple5)] The dog is not young.[(triple3)] The dog sees the squirrel.[(triple4)] The rabbit eats the squirrel.[(triple6)] The rabbit sees the dog.[(triple7)] The rabbit visits the dog.[(triple8)] The squirrel eats the cow.[(triple9)] The squirrel is not nice.[(triple10)] @1: The cow visits the cow.[(((triple1) -> rule6))] The rabbit visits the cow.[(((triple8) -> rule6))] @2: The cow eats the dog.[(((((triple1) -> rule6)) -> rule8))] The rabbit eats the dog.[(((((triple8) -> rule6)) -> rule8))] @3: The dog visits the cow.[(((((((triple1) -> rule6)) -> rule8)) -> rule2) OR ((((((triple8) -> rule6)) -> rule8)) -> rule2))] @4: The cow sees the rabbit.[(((triple1 ((((((triple1) -> rule6)) -> rule8)) -> rule2)) -> rule9) OR ((triple1 ((((((triple8) -> rule6)) -> rule8)) -> rule2)) -> rule9))] The dog eats the dog.[(((((((((triple1) -> rule6)) -> rule8)) -> rule2)) -> rule8) OR ((((((((triple8) -> rule6)) -> rule8)) -> rule2)) -> rule8))] The rabbit sees the rabbit.[(((triple8 ((((((triple1) -> rule6)) -> rule8)) -> rule2)) -> rule9) OR ((triple8 ((((((triple8) -> rule6)) -> rule8)) -> rule2)) -> rule9))] @5: The cow sees the cow.[(((((triple1 ((((((triple1) -> rule6)) -> rule8)) -> rule2)) -> rule9)) -> rule3) OR ((((triple1 ((((((triple1) -> rule6)) -> rule8)) -> rule2)) -> rule9)) -> rule4) OR ((((triple1 ((((((triple8) -> rule6)) -> rule8)) -> rule2)) -> rule9)) -> rule3) OR ((((triple1 ((((((triple8) -> rule6)) -> rule8)) -> rule2)) -> rule9)) -> rule4))] The rabbit sees the cow.[(((((triple8 ((((((triple1) -> rule6)) -> rule8)) -> rule2)) -> rule9)) -> rule3) OR ((((triple8 ((((((triple1) -> rule6)) -> rule8)) -> rule2)) -> rule9)) -> rule4) OR ((((triple8 ((((((triple8) -> rule6)) -> rule8)) -> rule2)) -> rule9)) -> rule3) OR ((((triple8 ((((((triple8) -> rule6)) -> rule8)) -> rule2)) -> rule9)) -> rule4))]