The cow is red. The cow likes the squirrel. The squirrel chases the cow. The squirrel eats the cow. The squirrel is kind. The squirrel is red. The squirrel likes the cow. If something likes the squirrel and the squirrel is nice then the squirrel likes the cow. If something is red and nice then it chases the squirrel. If something is red and it likes the cow then the cow likes the squirrel. If the squirrel chases the cow and the squirrel is blue then the squirrel eats the cow. If something likes the cow then the cow likes the squirrel. If something eats the cow and the cow is nice then it eats the squirrel. If something likes the squirrel and it is kind then it is round. If something is nice then it eats the squirrel.
The cow is nice.
@0: The cow is red.[(triple1)] The cow likes the squirrel.[(triple2 OR ((triple7) -> rule5) OR ((triple6 triple7) -> rule3))] The squirrel chases the cow.[(triple3)] The squirrel eats the cow.[(triple4)] The squirrel is kind.[(triple5)] The squirrel is red.[(triple6)] The squirrel likes the cow.[(triple7)]