The bald eagle chases the cat. The bald eagle is not blue. The bald eagle is round. The bald eagle is young. The bear chases the squirrel. The bear is rough. The bear sees the bald eagle. The bear does not see the cat. The cat is young. The cat likes the bear. The cat sees the bear. The cat sees the squirrel. The squirrel chases the bald eagle. The squirrel is blue. The squirrel sees the bald eagle. The squirrel sees the bear. If someone chases the squirrel then they chase the bear. If someone likes the cat then the cat chases the squirrel. If someone chases the bear and they see the bald eagle then they like the bald eagle. If someone sees the bear and the bear likes the bald eagle then they chase the squirrel. If someone likes the cat and they see the squirrel then the cat sees the squirrel. If someone is young then they chase the bald eagle. If someone chases the cat then the cat is young. If someone sees the bald eagle and they like the bald eagle then they are round. If the bald eagle sees the bear then the bald eagle likes the bear.
The bear does not chase the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is not blue.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle is young.[(triple4)] The bear chases the squirrel.[(triple5)] The bear does not see the cat.[(triple8)] The bear is rough.[(triple6)] The bear sees the bald eagle.[(triple7)] The cat is young.[(triple9 OR ((triple1) -> rule7))] The cat likes the bear.[(triple10)] The cat sees the bear.[(triple11)] The cat sees the squirrel.[(triple12)] The squirrel chases the bald eagle.[(triple13)] The squirrel is blue.[(triple14)] The squirrel sees the bald eagle.[(triple15)] The squirrel sees the bear.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple4) -> rule6))] The bear chases the bear.[(((triple5) -> rule1))] The cat chases the bald eagle.[(((triple9) -> rule6) OR ((((triple1) -> rule7)) -> rule6))] @2: The bear likes the bald eagle.[(((((triple5) -> rule1) triple7) -> rule3))] @3: The bear is round.[(((triple7 ((((triple5) -> rule1) triple7) -> rule3)) -> rule8))] The cat chases the squirrel.[(((triple11 ((((triple5) -> rule1) triple7) -> rule3)) -> rule4))] The squirrel chases the squirrel.[(((triple16 ((((triple5) -> rule1) triple7) -> rule3)) -> rule4))] @4: The cat chases the bear.[(((((triple11 ((((triple5) -> rule1) triple7) -> rule3)) -> rule4)) -> rule1))] The squirrel chases the bear.[(((((triple16 ((((triple5) -> rule1) triple7) -> rule3)) -> rule4)) -> rule1))] @5: The squirrel likes the bald eagle.[(((((((triple16 ((((triple5) -> rule1) triple7) -> rule3)) -> rule4)) -> rule1) triple15) -> rule3))] @6: The squirrel is round.[(((triple15 ((((((triple16 ((((triple5) -> rule1) triple7) -> rule3)) -> rule4)) -> rule1) triple15) -> rule3)) -> rule8))]