The cow eats the squirrel. The cow is big. The cow is kind. The cow is nice. The cow is rough. The cow is round. The cow sees the squirrel. The cow visits the squirrel. The squirrel eats the cow. The squirrel is big. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel sees the cow. The squirrel visits the cow. If the cow eats the squirrel then the cow sees the squirrel. If someone sees the cow and the cow visits the squirrel then the squirrel sees the cow. If someone is big and they visit the cow then they see the cow. If someone sees the cow and the cow eats the squirrel then they see the squirrel. If someone sees the cow and the cow eats the squirrel then they eat the squirrel. If someone is kind then they see the cow.
The squirrel does not eat the cow.
@0: The cow eats the squirrel.[(triple1)] The cow is big.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is rough.[(triple5)] The cow is round.[(triple6)] The cow sees the squirrel.[(triple7 OR ((triple1) -> rule1) OR ((((triple3) -> rule6) triple1) -> rule4))] The cow visits the squirrel.[(triple8)] The squirrel eats the cow.[(triple9)] The squirrel is big.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel sees the cow.[(triple15 OR ((triple11) -> rule6) OR ((triple10 triple16) -> rule3) OR ((((triple3) -> rule6) triple8) -> rule2))] The squirrel visits the cow.[(triple16)] @1: The cow sees the cow.[(((triple3) -> rule6))] The squirrel eats the squirrel.[(((triple15 triple1) -> rule5) OR ((((triple11) -> rule6) triple1) -> rule5) OR ((((triple10 triple16) -> rule3) triple1) -> rule5) OR ((((((triple3) -> rule6) triple8) -> rule2) triple1) -> rule5))] The squirrel sees the squirrel.[(((triple15 triple1) -> rule4) OR ((((triple11) -> rule6) triple1) -> rule4) OR ((((triple10 triple16) -> rule3) triple1) -> rule4) OR ((((((triple3) -> rule6) triple8) -> rule2) triple1) -> rule4))]