The cat chases the cow. The cat chases the dog. The cat sees the cow. The cat visits the cow. The cow chases the cat. The cow is blue. The cow is kind. The cow visits the dog. The dog is blue. The dog sees the cat. The dog visits the cat. The dog visits the cow. If the cat visits the dog then the cat is young. If something visits the dog then the dog sees the cat. If the cow chases the cat and the cat visits the dog then the dog sees the cat. If something sees the dog then the dog sees the cat. If something is blue and it sees the cat then it visits the cat. If something visits the dog and the dog is nice then the dog sees the cat. If something chases the dog then it visits the dog. If something chases the cat and it is cold then the cat is cold.
The cat does not chase the cow.
@0: The cat chases the cow.[(triple1)] The cat chases the dog.[(triple2)] The cat sees the cow.[(triple3)] The cat visits the cow.[(triple4)] The cow chases the cat.[(triple5)] The cow is blue.[(triple6)] The cow is kind.[(triple7)] The cow visits the dog.[(triple8)] The dog is blue.[(triple9)] The dog sees the cat.[(triple10 OR ((triple8) -> rule2) OR ((((triple2) -> rule7)) -> rule2) OR ((triple5 ((triple2) -> rule7)) -> rule3))] The dog visits the cat.[(triple11 OR ((triple9 triple10) -> rule5) OR ((triple9 ((triple8) -> rule2)) -> rule5) OR ((triple9 ((((triple2) -> rule7)) -> rule2)) -> rule5) OR ((triple9 ((triple5 ((triple2) -> rule7)) -> rule3)) -> rule5))] The dog visits the cow.[(triple12)] @1: The cat visits the dog.[(((triple2) -> rule7))] @2: The cat is young.[(((((triple2) -> rule7)) -> rule1))]