The cow eats the rabbit. The cow visits the mouse. The cow visits the rabbit. The mouse eats the rabbit. The mouse is green. The mouse likes the cow. The mouse likes the squirrel. The rabbit is round. The rabbit visits the squirrel. The squirrel is blue. The squirrel is nice. The squirrel visits the rabbit. All green people are red. All round people are red.
The cow eats the cow.
@0: The cow eats the rabbit.[(triple1)] The cow visits the mouse.[(triple2)] The cow visits the rabbit.[(triple3)] The mouse eats the rabbit.[(triple4)] The mouse is green.[(triple5)] The mouse likes the cow.[(triple6)] The mouse likes the squirrel.[(triple7)] The rabbit is round.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is nice.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The mouse is red.[(((triple5) -> rule1))] The rabbit is red.[(((triple8) -> rule2))]