The cat is kind. The cat likes the cow. The cat sees the lion. The cow is cold. The cow is green. The cow likes the squirrel. The lion eats the cow. The lion eats the squirrel. The lion is round. The lion sees the cat. The lion sees the cow. The squirrel is blue. If something eats the squirrel then it eats the cow. If something is green then it sees the lion. If something sees the squirrel and the squirrel is cold then the squirrel likes the cow. If something is kind and it sees the cow then it likes the cow. If something likes the cat then the cat eats the lion. If something sees the squirrel and the squirrel is cold then it eats the cat. If something is cold then it sees the squirrel. If something is blue and green then it likes the squirrel.
The cat sees the cat.
@0: The cat is kind.[(triple1)] The cat likes the cow.[(triple2)] The cat sees the lion.[(triple3)] The cow is cold.[(triple4)] The cow is green.[(triple5)] The cow likes the squirrel.[(triple6)] The lion eats the cow.[(triple7 OR ((triple8) -> rule1))] The lion eats the squirrel.[(triple8)] The lion is round.[(triple9)] The lion sees the cat.[(triple10)] The lion sees the cow.[(triple11)] The squirrel is blue.[(triple12)] @1: The cow sees the lion.[(((triple5) -> rule2))] The cow sees the squirrel.[(((triple4) -> rule7))]