The cow is kind. The cow is red. The cow is round. The cow likes the squirrel. The cow needs the squirrel. The squirrel eats the cow. The squirrel is red. The squirrel is young. The squirrel likes the cow. The squirrel needs the cow. If someone needs the squirrel then the squirrel eats the cow. If someone is young and they like the cow then the cow needs the squirrel. If the squirrel needs the cow and the squirrel eats the cow then the cow is kind.
The squirrel likes the squirrel.
@0: The cow is kind.[(triple1 OR ((triple10 triple6) -> rule3) OR ((triple10 ((triple5) -> rule1)) -> rule3) OR ((triple10 ((((triple8 triple9) -> rule2)) -> rule1)) -> rule3))] The cow is red.[(triple2)] The cow is round.[(triple3)] The cow likes the squirrel.[(triple4)] The cow needs the squirrel.[(triple5 OR ((triple8 triple9) -> rule2))] The squirrel eats the cow.[(triple6 OR ((triple5) -> rule1) OR ((((triple8 triple9) -> rule2)) -> rule1))] The squirrel is red.[(triple7)] The squirrel is young.[(triple8)] The squirrel likes the cow.[(triple9)] The squirrel needs the cow.[(triple10)]