The bald eagle needs the bear. The bald eagle needs the cat. The bald eagle visits the bear. The bear is red. The bear is round. The bear likes the bald eagle. The bear visits the bald eagle. The bear visits the cat. The cat is blue. The cat is young. The cat likes the bald eagle. The cat likes the bear. The cat needs the bald eagle. The cat needs the bear. The cat visits the bear. If something visits the cat then it is young. If something visits the bear then the bear visits the bald eagle. If something needs the bear and the bear visits the cat then the bear does not need the cat. If something needs the bear then it visits the cat. If something is round and it does not like the bear then the bear does not like the bald eagle. If something likes the bear and the bear does not visit the cat then the cat needs the bald eagle.
The cat visits the cat.
@0: The bald eagle needs the bear.[(triple1)] The bald eagle needs the cat.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear visits the bald eagle.[(triple7 OR ((triple15) -> rule2) OR ((triple3) -> rule2))] The bear visits the cat.[(triple8)] The cat is blue.[(triple9)] The cat is young.[(triple10 OR ((((triple14) -> rule4)) -> rule1))] The cat likes the bald eagle.[(triple11)] The cat likes the bear.[(triple12)] The cat needs the bald eagle.[(triple13)] The cat needs the bear.[(triple14)] The cat visits the bear.[(triple15)] @1: The bald eagle visits the cat.[(((triple1) -> rule4))] The bear does not need the cat.[(((triple1 triple8) -> rule3) OR ((triple14 triple8) -> rule3))] The bear is young.[(((triple8) -> rule1))] The cat visits the cat.[(((triple14) -> rule4))] @2: The bald eagle is young.[(((((triple1) -> rule4)) -> rule1))]