The cow chases the squirrel. The cow is big. The cow is blue. The cow is nice. The cow is round. The cow likes the squirrel. The cow sees the squirrel. The squirrel chases the cow. The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel likes the cow. The squirrel sees the cow. If the cow is blue then the cow is round. If someone sees the squirrel and they see the cow then they like the cow. If someone likes the squirrel and the squirrel sees the cow then the cow chases the squirrel.
The squirrel sees the squirrel.
@0: The cow chases the squirrel.[(triple1 OR ((triple6 triple15) -> rule3))] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is nice.[(triple4)] The cow is round.[(triple5 OR ((triple3) -> rule1))] The cow likes the squirrel.[(triple6)] The cow sees the squirrel.[(triple7)] The squirrel chases the cow.[(triple8)] The squirrel is big.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is round.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel sees the cow.[(triple15)]