The cat is blue. The cat is not rough. The cat does not visit the cow. The cow chases the cat. The cow sees the cat. The mouse chases the cat. The mouse is blue. The mouse is nice. The mouse sees the cat. The mouse visits the cat. If something chases the mouse and the mouse sees the cat then it does not chase the cow. If something chases the cat then it chases the cow. If something is big then it visits the mouse. If the mouse visits the cow then the mouse sees the cat. If something chases the cat and it chases the cow then the cat is big. If something is nice and it does not visit the cow then it is round.
The cat does not visit the cat.
@0: The cat does not visit the cow.[(triple3)] The cat is blue.[(triple1)] The cat is not rough.[(triple2)] The cow chases the cat.[(triple4)] The cow sees the cat.[(triple5)] The mouse chases the cat.[(triple6)] The mouse is blue.[(triple7)] The mouse is nice.[(triple8)] The mouse sees the cat.[(triple9)] The mouse visits the cat.[(triple10)] @1: The cow chases the cow.[(((triple4) -> rule2))] The mouse chases the cow.[(((triple6) -> rule2))] @2: The cat is big.[(((triple4 ((triple4) -> rule2)) -> rule5) OR ((triple6 ((triple6) -> rule2)) -> rule5))] @3: The cat visits the mouse.[(((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule3) OR ((((triple6 ((triple6) -> rule2)) -> rule5)) -> rule3))]