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