The cow likes the squirrel. The squirrel is round. The squirrel likes the tiger. The tiger is blue. The tiger likes the cow. The tiger likes the squirrel. The tiger visits the cow. If someone visits the squirrel then they eat the tiger. If someone likes the tiger and the tiger is blue then they like the cow. If someone eats the cow and the cow is blue then they visit the cow. If someone eats the squirrel and they visit the cow then the cow is nice. If someone eats the tiger and the tiger visits the cow then they are young. If someone is blue then they visit the squirrel.
The cow eats the cow.
@0: The cow likes the squirrel.[(triple1)] The squirrel is round.[(triple2)] The squirrel likes the tiger.[(triple3)] The tiger is blue.[(triple4)] The tiger likes the cow.[(triple5)] The tiger likes the squirrel.[(triple6)] The tiger visits the cow.[(triple7)] @1: The squirrel likes the cow.[(((triple3 triple4) -> rule2))] The tiger visits the squirrel.[(((triple4) -> rule6))] @2: The tiger eats the tiger.[(((((triple4) -> rule6)) -> rule1))] @3: The tiger is young.[(((((((triple4) -> rule6)) -> rule1) triple7) -> rule5))]