The bald eagle is big. The bald eagle visits the bear. The bear chases the cat. The bear is big. The bear visits the squirrel. The cat chases the bald eagle. The cat is green. The cat is kind. The cat is nice. The cat visits the bear. The cat visits the squirrel. The squirrel is not green. The squirrel is nice. The squirrel likes the bald eagle. The squirrel visits the bald eagle. If someone likes the cat and the cat does not chase the bear then the bear visits the bald eagle. All kind people are green. If someone is kind and big then they visit the squirrel. If someone likes the bear then they do not visit the squirrel. If someone likes the bald eagle then the bald eagle does not visit the cat. If the bald eagle is big then the bald eagle does not visit the cat. If someone is big and they chase the bald eagle then they do not visit the bald eagle. If someone is kind and they chase the bald eagle then they visit the cat.
The squirrel is nice.
@0: The bald eagle is big.[(triple1)] The bald eagle visits the bear.[(triple2)] The bear chases the cat.[(triple3)] The bear is big.[(triple4)] The bear visits the squirrel.[(triple5)] The cat chases the bald eagle.[(triple6)] The cat is green.[(triple7 OR ((triple8) -> rule2))] The cat is kind.[(triple8)] The cat is nice.[(triple9)] The cat visits the bear.[(triple10)] The cat visits the squirrel.[(triple11)] The squirrel is nice.[(triple13)] The squirrel is not green.[(triple12)] The squirrel likes the bald eagle.[(triple14)] The squirrel visits the bald eagle.[(triple15)] @1: The bald eagle does not visit the cat.[(((triple1) -> rule6) OR ((triple14) -> rule5))] The cat visits the cat.[(((triple8 triple6) -> rule8))]