The bald eagle is nice. The bald eagle is rough. The bald eagle likes the dog. The bald eagle needs the dog. The dog is blue. The dog is nice. The dog is rough. The dog likes the bald eagle. The dog needs the bald eagle. The dog visits the bald eagle. If someone needs the dog and they visit the dog then the dog is blue. If the dog needs the bald eagle and the bald eagle visits the dog then the dog is red. If the dog likes the bald eagle and the bald eagle is rough then the bald eagle is red. If someone is cold then they visit the dog. If the dog likes the bald eagle and the bald eagle is cold then the dog visits the bald eagle. If someone is red and nice then they visit the dog. If someone is nice and they like the dog then the dog likes the bald eagle. If someone likes the bald eagle and they visit the dog then they need the dog.
The bald eagle does not need the bald eagle.
@0: The bald eagle is nice.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle needs the dog.[(triple4)] The dog is blue.[(triple5 OR ((triple4 ((((triple8 triple2) -> rule3) triple1) -> rule6)) -> rule1) OR ((triple4 ((((((triple1 triple3) -> rule7) triple2) -> rule3) triple1) -> rule6)) -> rule1) OR ((((triple8 ((((triple9 ((((triple8 triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule8) ((((triple9 ((((triple8 triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule1) OR ((((triple8 ((((triple9 ((((triple8 triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule8) ((((triple9 ((((((triple1 triple3) -> rule7) triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule1) OR ((((((triple1 triple3) -> rule7) ((((triple9 ((((triple8 triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule8) ((((triple9 ((((triple8 triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule1) OR ((((((triple1 triple3) -> rule7) ((((triple9 ((((triple8 triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule8) ((((triple9 ((((((triple1 triple3) -> rule7) triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule1) OR ((((triple8 ((((triple9 ((((((triple1 triple3) -> rule7) triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule8) ((((triple9 ((((triple8 triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule1) OR ((((triple8 ((((triple9 ((((((triple1 triple3) -> rule7) triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule8) ((((triple9 ((((((triple1 triple3) -> rule7) triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule1) OR ((((((triple1 triple3) -> rule7) ((((triple9 ((((((triple1 triple3) -> rule7) triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule8) ((((triple9 ((((triple8 triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule1) OR ((((((triple1 triple3) -> rule7) ((((triple9 ((((((triple1 triple3) -> rule7) triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule8) ((((triple9 ((((((triple1 triple3) -> rule7) triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule1))] The dog is nice.[(triple6)] The dog is rough.[(triple7)] The dog likes the bald eagle.[(triple8 OR ((triple1 triple3) -> rule7))] The dog needs the bald eagle.[(triple9)] The dog visits the bald eagle.[(triple10)] @1: The bald eagle is red.[(((triple8 triple2) -> rule3) OR ((((triple1 triple3) -> rule7) triple2) -> rule3))] @2: The bald eagle visits the dog.[(((((triple8 triple2) -> rule3) triple1) -> rule6) OR ((((((triple1 triple3) -> rule7) triple2) -> rule3) triple1) -> rule6))] @3: The dog is red.[(((triple9 ((((triple8 triple2) -> rule3) triple1) -> rule6)) -> rule2) OR ((triple9 ((((((triple1 triple3) -> rule7) triple2) -> rule3) triple1) -> rule6)) -> rule2))] @4: The dog visits the dog.[(((((triple9 ((((triple8 triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6) OR ((((triple9 ((((((triple1 triple3) -> rule7) triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6))] @5: The dog needs the dog.[(((triple8 ((((triple9 ((((triple8 triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule8) OR ((((triple1 triple3) -> rule7) ((((triple9 ((((triple8 triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule8) OR ((triple8 ((((triple9 ((((((triple1 triple3) -> rule7) triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule8) OR ((((triple1 triple3) -> rule7) ((((triple9 ((((((triple1 triple3) -> rule7) triple2) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule6)) -> rule8))]