The bald eagle is round. The bald eagle likes the dog. The bald eagle needs the bear. The bear likes the dog. The bear needs the bald eagle. The bear needs the dog. The dog is big. The dog is kind. The dog is nice. The dog likes the bald eagle. The dog likes the bear. The dog needs the bald eagle. The dog needs the bear. The dog sees the bald eagle. The dog sees the bear. If the bear likes the bald eagle then the bear sees the dog. If something sees the dog and the dog is kind then the dog likes the bald eagle. If something needs the dog then it likes the bald eagle. If something needs the dog then it sees the bear. If something sees the dog then the dog is round. If the bear sees the bald eagle then the bald eagle likes the bear. If something is big then it needs the bald eagle. If something sees the bear then it is big.
The bear sees the dog.
@0: The bald eagle is round.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear likes the dog.[(triple4)] The bear needs the bald eagle.[(triple5 OR ((((((triple6) -> rule4)) -> rule8)) -> rule7))] The bear needs the dog.[(triple6)] The dog is big.[(triple7 OR ((triple15) -> rule8))] The dog is kind.[(triple8)] The dog is nice.[(triple9)] The dog likes the bald eagle.[(triple10 OR ((((((triple6) -> rule3)) -> rule1) triple8) -> rule2))] The dog likes the bear.[(triple11)] The dog needs the bald eagle.[(triple12 OR ((triple7) -> rule7) OR ((((triple15) -> rule8)) -> rule7))] The dog needs the bear.[(triple13)] The dog sees the bald eagle.[(triple14)] The dog sees the bear.[(triple15)] @1: The bear likes the bald eagle.[(((triple6) -> rule3))] The bear sees the bear.[(((triple6) -> rule4))] @2: The bear is big.[(((((triple6) -> rule4)) -> rule8))] The bear sees the dog.[(((((triple6) -> rule3)) -> rule1))] @3: The dog is round.[(((((((triple6) -> rule3)) -> rule1)) -> rule5))]