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