The cow is kind. The cow likes the squirrel. The dog eats the squirrel. The dog likes the cow. The squirrel does not chase the cow. The squirrel chases the dog. The squirrel does not eat the cow. The squirrel is not cold. The squirrel is kind. The squirrel is young. If something likes the squirrel and it eats the squirrel then the squirrel chases the dog. If the cow chases the dog then the cow likes the squirrel. If something is young then it is red. If something is red and young then it does not like the dog. If something chases the squirrel then it does not chase the dog. If the dog does not like the cow then the dog is round. If something likes the dog then the dog chases the squirrel. If something is young and it does not like the dog then the dog is cold.
The squirrel eats the cow.
@0: The cow is kind.[(triple1)] The cow likes the squirrel.[(triple2)] The dog eats the squirrel.[(triple3)] The dog likes the cow.[(triple4)] The squirrel chases the dog.[(triple6)] The squirrel does not chase the cow.[(triple5)] The squirrel does not eat the cow.[(triple7)] The squirrel is kind.[(triple9)] The squirrel is not cold.[(triple8)] The squirrel is young.[(triple10)] @1: The squirrel is red.[(((triple10) -> rule3))] @2: The squirrel does not like the dog.[(((((triple10) -> rule3) triple10) -> rule4))] @3: The dog is cold.[(((triple10 ((((triple10) -> rule3) triple10) -> rule4)) -> rule8))]