The cow chases the squirrel. The cow chases the tiger. The cow likes the squirrel. The rabbit visits the tiger. The squirrel visits the cow. The tiger chases the rabbit. The tiger visits the rabbit. If someone is nice then they visit the tiger. If someone likes the squirrel then they like the cow. If the cow is rough then the cow likes the tiger. If someone is rough and they chase the tiger then the tiger chases the squirrel. If someone visits the tiger and the tiger is rough then they chase the cow. If someone chases the squirrel then they are round. If someone likes the cow and the cow likes the squirrel then they are red. If the squirrel visits the rabbit then the squirrel is green.
The cow is not round.
@0: The cow chases the squirrel.[(triple1)] The cow chases the tiger.[(triple2)] The cow likes the squirrel.[(triple3)] The rabbit visits the tiger.[(triple4)] The squirrel visits the cow.[(triple5)] The tiger chases the rabbit.[(triple6)] The tiger visits the rabbit.[(triple7)] @1: The cow is round.[(((triple1) -> rule6))] The cow likes the cow.[(((triple3) -> rule2))] @2: The cow is red.[(((((triple3) -> rule2) triple3) -> rule7))]