The cow likes the squirrel. The squirrel is nice. If someone is cold then they are round. If someone likes the cow and they eat the cow then the cow sees the squirrel. If someone likes the cow then the cow sees the squirrel. If someone sees the squirrel then they eat the squirrel. If someone likes the cow then they are not cold. If someone eats the cow and they are not big then they like the cow. If the cow likes the squirrel then the squirrel likes the cow. If someone sees the squirrel and they are not cold then they are not nice.
The cow is round.
@0: The cow likes the squirrel.[(triple1)] The squirrel is nice.[(triple2)] @1: The squirrel likes the cow.[(((triple1) -> rule7))] @2: The cow sees the squirrel.[(((((triple1) -> rule7)) -> rule3))] The squirrel is not cold.[(((((triple1) -> rule7)) -> rule5))] @3: The cow eats the squirrel.[(((((((triple1) -> rule7)) -> rule3)) -> rule4))]