The bald eagle eats the cat. The bald eagle eats the squirrel. The bald eagle is big. The bald eagle is nice. The bald eagle is round. The bald eagle likes the cat. The bald eagle likes the squirrel. The bald eagle does not visit the cat. The bald eagle visits the squirrel. The cat is nice. The cat likes the bald eagle. The cat likes the squirrel. The cat does not visit the bald eagle. The squirrel is red. The squirrel does not visit the bald eagle. The squirrel visits the cat. If someone is red then they like the squirrel. If someone eats the cat and the cat is big then they like the bald eagle. If someone is nice and they do not eat the bald eagle then they like the bald eagle. If the cat likes the squirrel and the squirrel eats the bald eagle then the squirrel does not like the cat. If the squirrel likes the bald eagle and the squirrel does not eat the bald eagle then the bald eagle is big. If someone visits the squirrel then the squirrel does not like the bald eagle.
The cat is big.
@0: The bald eagle does not visit the cat.[(triple8)] The bald eagle eats the cat.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle likes the cat.[(triple6)] The bald eagle likes the squirrel.[(triple7)] The bald eagle visits the squirrel.[(triple9)] The cat does not visit the bald eagle.[(triple13)] The cat is nice.[(triple10)] The cat likes the bald eagle.[(triple11)] The cat likes the squirrel.[(triple12)] The squirrel does not visit the bald eagle.[(triple15)] The squirrel is red.[(triple14)] The squirrel visits the cat.[(triple16)] @1: The squirrel does not like the bald eagle.[(((triple9) -> rule6))] The squirrel likes the squirrel.[(((triple14) -> rule1))]