The bald eagle is blue. The bald eagle sees the cat. The cat is rough. The cat sees the cow. The cat sees the squirrel. The cow chases the bald eagle. The cow is blue. The cow is rough. The cow needs the bald eagle. The cow needs the cat. The cow sees the squirrel. The squirrel is big. The squirrel is cold. The squirrel needs the cat. The squirrel sees the bald eagle. If something sees the cow and it chases the cat then the cat is kind. If the cow chases the squirrel then the cow sees the bald eagle. If something is rough then it needs the cat. If something sees the bald eagle and it is cold then it chases the squirrel. If something sees the bald eagle and the bald eagle sees the cow then the bald eagle needs the cow. If the squirrel is kind then the squirrel needs the cow. If something sees the cat then the cat needs the cow. If something needs the cow and the cow needs the bald eagle then the bald eagle needs the cow.
The cow sees the squirrel.
@0: The bald eagle is blue.[(triple1)] The bald eagle sees the cat.[(triple2)] The cat is rough.[(triple3)] The cat sees the cow.[(triple4)] The cat sees the squirrel.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow is blue.[(triple7)] The cow is rough.[(triple8)] The cow needs the bald eagle.[(triple9)] The cow needs the cat.[(triple10 OR ((triple8) -> rule3))] The cow sees the squirrel.[(triple11)] The squirrel is big.[(triple12)] The squirrel is cold.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel sees the bald eagle.[(triple15)] @1: The cat needs the cat.[(((triple3) -> rule3))] The cat needs the cow.[(((triple2) -> rule7))] The squirrel chases the squirrel.[(((triple15 triple13) -> rule4))] @2: The bald eagle needs the cow.[(((((triple2) -> rule7) triple9) -> rule8))]