The cow is blue. The cow likes the squirrel. The cow needs the squirrel. The cow sees the squirrel. The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel likes the cow. The squirrel needs the cow. The squirrel sees the cow. If the cow is kind then the cow is nice. If the cow is kind then the cow likes the squirrel. If something likes the squirrel and the squirrel likes the cow then the cow is green. If the cow sees the squirrel and the squirrel sees the cow then the cow likes the squirrel. If the squirrel likes the cow and the squirrel needs the cow then the cow needs the squirrel. If something likes the squirrel and it is kind then the squirrel likes the cow.
The squirrel needs the squirrel.
@0: The cow is blue.[(triple1)] The cow likes the squirrel.[(triple2 OR ((triple4 triple10) -> rule4))] The cow needs the squirrel.[(triple3 OR ((triple8 triple9) -> rule5))] The cow sees the squirrel.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is nice.[(triple7)] The squirrel likes the cow.[(triple8)] The squirrel needs the cow.[(triple9)] The squirrel sees the cow.[(triple10)] @1: The cow is green.[(((triple2 triple8) -> rule3) OR ((((triple4 triple10) -> rule4) triple8) -> rule3))]