The bald eagle eats the cat. The bald eagle likes the bear. The bald eagle likes the squirrel. The bear is green. The bear visits the cat. The cat eats the squirrel. The cat likes the bald eagle. The cat visits the bear. The squirrel eats the bald eagle. The squirrel eats the bear. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel likes the bald eagle. The squirrel likes the bear. The squirrel visits the bear. If someone is rough and kind then they like the cat. If someone is rough then they visit the bald eagle. All red people are green. If someone visits the bear then the bear eats the squirrel. If someone visits the squirrel then the squirrel is red. If someone likes the cat then they are red. If someone eats the bear and the bear is rough then the bear is nice. If someone likes the bald eagle and the bald eagle is nice then they like the bear.
The cat is nice.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bear is green.[(triple4)] The bear visits the cat.[(triple5)] The cat eats the squirrel.[(triple6)] The cat likes the bald eagle.[(triple7)] The cat visits the bear.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel is green.[(triple11 OR ((triple13) -> rule3))] The squirrel is nice.[(triple12)] The squirrel is red.[(triple13)] The squirrel likes the bald eagle.[(triple14)] The squirrel likes the bear.[(triple15)] The squirrel visits the bear.[(triple16)] @1: The bear eats the squirrel.[(((triple16) -> rule4) OR ((triple8) -> rule4))]