The cat does not chase the cow. The cat chases the mouse. The cat chases the tiger. The cat visits the mouse. The cow chases the mouse. The cow visits the cat. The mouse does not chase the cow. The mouse is rough. The tiger is not young. The tiger visits the mouse. If someone visits the mouse then the mouse visits the cow. If the cow visits the cat then the cow likes the cat. If someone likes the mouse then the mouse is not young. If the tiger does not chase the mouse and the mouse does not chase the tiger then the mouse is big. If someone likes the mouse then they are red. If the cat chases the tiger and the cat is not young then the tiger visits the cat. If someone likes the cat and the cat chases the tiger then they like the mouse. If someone chases the cat and they are not big then they are round.
The mouse is not round.
@0: The cat chases the mouse.[(triple2)] The cat chases the tiger.[(triple3)] The cat does not chase the cow.[(triple1)] The cat visits the mouse.[(triple4)] The cow chases the mouse.[(triple5)] The cow visits the cat.[(triple6)] The mouse does not chase the cow.[(triple7)] The mouse is rough.[(triple8)] The tiger is not young.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The cow likes the cat.[(((triple6) -> rule2))] The mouse visits the cow.[(((triple10) -> rule1) OR ((triple4) -> rule1))] @2: The cow likes the mouse.[(((((triple6) -> rule2) triple3) -> rule7))] @3: The cow is red.[(((((((triple6) -> rule2) triple3) -> rule7)) -> rule5))] The mouse is not young.[(((((((triple6) -> rule2) triple3) -> rule7)) -> rule3))]