The cow is kind. The cow likes the tiger. The squirrel chases the cow. The squirrel eats the cow. The squirrel is young. The squirrel likes the cow. The tiger chases the cow. The tiger chases the squirrel. The tiger eats the cow. The tiger is rough. If someone chases the squirrel then they eat the tiger. If someone eats the cow and they are blue then they chase the tiger. If someone eats the cow and the cow eats the squirrel then the cow is young. If the tiger chases the cow then the cow is rough. If someone is rough and they like the tiger then they eat the squirrel. If someone likes the cow then the cow eats the tiger.
The cow chases the squirrel.
@0: The cow is kind.[(triple1)] The cow likes the tiger.[(triple2)] The squirrel chases the cow.[(triple3)] The squirrel eats the cow.[(triple4)] The squirrel is young.[(triple5)] The squirrel likes the cow.[(triple6)] The tiger chases the cow.[(triple7)] The tiger chases the squirrel.[(triple8)] The tiger eats the cow.[(triple9)] The tiger is rough.[(triple10)] @1: The cow eats the tiger.[(((triple6) -> rule6))] The cow is rough.[(((triple7) -> rule4))] The tiger eats the tiger.[(((triple8) -> rule1))] @2: The cow eats the squirrel.[(((((triple7) -> rule4) triple2) -> rule5))] @3: The cow is young.[(((triple4 ((((triple7) -> rule4) triple2) -> rule5)) -> rule3) OR ((triple9 ((((triple7) -> rule4) triple2) -> rule5)) -> rule3))]