The cow is round. The mouse is nice. The squirrel does not see the cow. If someone sees the cow then they are big. If someone is round then they need the cow. All nice people are round. If the cow is red then the cow chases the mouse. If someone needs the squirrel then the squirrel needs the cow. If someone needs the cow and the cow sees the mouse then the cow does not see the squirrel.
The mouse does not need the cow.
@0: The cow is round.[(triple1)] The mouse is nice.[(triple2)] The squirrel does not see the cow.[(triple3)] @1: The cow needs the cow.[(((triple1) -> rule2))] The mouse is round.[(((triple2) -> rule3))] @2: The mouse needs the cow.[(((((triple2) -> rule3)) -> rule2))]