The cow eats the squirrel. The squirrel needs the cow. The tiger eats the cow. If someone is kind then they like the cow. If someone eats the squirrel then the squirrel needs the tiger. If someone is kind and they eat the tiger then they need the squirrel. If someone likes the squirrel and the squirrel eats the cow then the cow eats the tiger. If someone eats the squirrel and the squirrel needs the cow then they are kind. If someone likes the cow then they are round. If someone likes the cow then they need the squirrel. If someone eats the cow then the cow likes the tiger.
The cow eats the squirrel.
@0: The cow eats the squirrel.[(triple1)] The squirrel needs the cow.[(triple2)] The tiger eats the cow.[(triple3)] @1: The cow is kind.[(((triple1 triple2) -> rule5))] The cow likes the tiger.[(((triple3) -> rule8))] The squirrel needs the tiger.[(((triple1) -> rule2))] @2: The cow likes the cow.[(((((triple1 triple2) -> rule5)) -> rule1))] @3: The cow is round.[(((((((triple1 triple2) -> rule5)) -> rule1)) -> rule6))] The cow needs the squirrel.[(((((((triple1 triple2) -> rule5)) -> rule1)) -> rule7))]