The cat chases the cow. The cat eats the dog. The cat likes the cow. The cow is red. The dog eats the cat. The dog does not like the cat. The mouse chases the dog. The mouse eats the cat. The mouse is red. The mouse is rough. If something likes the mouse and the mouse is rough then the mouse likes the cow. If something eats the cat then it chases the dog. If the dog likes the cat then the cat is not big. If something likes the mouse and it is not big then it does not chase the cat. If something chases the cat and it is rough then the cat chases the cow. If something chases the cow then it likes the dog. If something likes the dog then the dog chases the cow. If the dog does not chase the cow then the dog is cold.
The mouse does not like the dog.
@0: The cat chases the cow.[(triple1)] The cat eats the dog.[(triple2)] The cat likes the cow.[(triple3)] The cow is red.[(triple4)] The dog does not like the cat.[(triple6)] The dog eats the cat.[(triple5)] The mouse chases the dog.[(triple7 OR ((triple8) -> rule2))] The mouse eats the cat.[(triple8)] The mouse is red.[(triple9)] The mouse is rough.[(triple10)] @1: The cat likes the dog.[(((triple1) -> rule6))] The dog chases the dog.[(((triple5) -> rule2))] @2: The dog chases the cow.[(((((triple1) -> rule6)) -> rule7))] @3: The dog likes the dog.[(((((((triple1) -> rule6)) -> rule7)) -> rule6))]