The cow likes the squirrel. The cow sees the squirrel. The cow visits the squirrel. The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is not round. If something likes the squirrel then it sees the squirrel. If something visits the squirrel then it sees the squirrel. If something is green and it likes the squirrel then the squirrel is round. If the cow is not kind then the cow visits the squirrel. If something is kind then it does not like the cow. Kind things are cold.
The cow likes the squirrel.
@0: The cow likes the squirrel.[(triple1)] The cow sees the squirrel.[(triple2 OR ((triple1) -> rule1) OR ((triple3) -> rule2))] The cow visits the squirrel.[(triple3)] The squirrel is big.[(triple4)] The squirrel is green.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is not round.[(triple7)] @1: The squirrel does not like the cow.[(((triple6) -> rule5))] The squirrel is cold.[(((triple6) -> rule6))]