The bald eagle is big. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the dog. The bald eagle needs the dog. The bald eagle visits the dog. The dog is blue. The dog is nice. The dog is red. The dog likes the bald eagle. The dog needs the bald eagle. The dog visits the bald eagle. All rough, nice people are big. If someone visits the dog then the dog likes the bald eagle. If someone needs the dog and they like the bald eagle then they visit the bald eagle. If the bald eagle is nice and the bald eagle likes the dog then the dog visits the bald eagle. If someone needs the bald eagle and the bald eagle needs the dog then they are rough. If someone visits the dog then the dog needs the bald eagle.
The dog does not visit the bald eagle.
@0: The bald eagle is big.[(triple1 OR ((triple3 triple2) -> rule1))] The bald eagle is nice.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the dog.[(triple4)] The bald eagle needs the dog.[(triple5)] The bald eagle visits the dog.[(triple6)] The dog is blue.[(triple7)] The dog is nice.[(triple8)] The dog is red.[(triple9)] The dog likes the bald eagle.[(triple10 OR ((triple6) -> rule2))] The dog needs the bald eagle.[(triple11 OR ((triple6) -> rule6))] The dog visits the bald eagle.[(triple12 OR ((triple2 triple4) -> rule4))] @1: The dog is rough.[(((triple11 triple5) -> rule5) OR ((((triple6) -> rule6) triple5) -> rule5))] @2: The dog is big.[(((((triple11 triple5) -> rule5) triple8) -> rule1) OR ((((((triple6) -> rule6) triple5) -> rule5) triple8) -> rule1))]