The cow chases the squirrel. The cow is cold. The cow is not green. The cow is red. The cow is young. The cow does not see the squirrel. The cow visits the squirrel. The squirrel does not chase the cow. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is not red. The squirrel is young. The squirrel sees the cow. The squirrel does not visit the cow. If something visits the squirrel then the squirrel does not chase the cow. If something chases the cow then it is not cold. If something is green and it does not chase the cow then it is young.
The cow does not see the squirrel.
@0: The cow chases the squirrel.[(triple1)] The cow does not see the squirrel.[(triple6)] The cow is cold.[(triple2)] The cow is not green.[(triple3)] The cow is red.[(triple4)] The cow is young.[(triple5)] The cow visits the squirrel.[(triple7)] The squirrel does not chase the cow.[(triple8 OR ((triple7) -> rule1))] The squirrel does not visit the cow.[(triple15)] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is green.[(triple11)] The squirrel is not red.[(triple12)] The squirrel is young.[(triple13 OR ((triple11 triple8) -> rule3) OR ((triple11 ((triple7) -> rule1)) -> rule3))] The squirrel sees the cow.[(triple14)]