The cow chases the squirrel. The cow eats the squirrel. The cow is green. The cow is kind. The cow is red. The cow sees the squirrel. The squirrel chases the cow. The squirrel eats the cow. The squirrel is cold. The squirrel is kind. The squirrel is red. The squirrel sees the cow. All kind people are cold. If someone is green then they chase the squirrel. If someone is kind and they see the cow then they are green.
The squirrel eats the squirrel.
@0: The cow chases the squirrel.[(triple1 OR ((triple3) -> rule2))] The cow eats the squirrel.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is red.[(triple5)] The cow sees the squirrel.[(triple6)] The squirrel chases the cow.[(triple7)] The squirrel eats the cow.[(triple8)] The squirrel is cold.[(triple9 OR ((triple10) -> rule1))] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel sees the cow.[(triple12)] @1: The cow is cold.[(((triple4) -> rule1))] The squirrel is green.[(((triple10 triple12) -> rule3))] @2: The squirrel chases the squirrel.[(((((triple10 triple12) -> rule3)) -> rule2))]