The bald eagle is not blue. The bald eagle likes the dog. The bald eagle needs the tiger. The bald eagle does not see the dog. The bald eagle sees the tiger. The dog is blue. The dog sees the tiger. The rabbit is green. The rabbit is red. The rabbit sees the dog. The tiger needs the bald eagle. The tiger needs the dog. If someone needs the bald eagle and the bald eagle sees the tiger then they are rough. If someone needs the dog and they like the dog then they need the bald eagle. If someone likes the bald eagle then the bald eagle needs the dog. If someone is rough and they like the dog then the dog needs the tiger. If someone likes the dog and the dog is blue then they see the tiger. If someone needs the tiger and they do not see the dog then the tiger needs the bald eagle. If someone needs the bald eagle then they like the bald eagle.
The tiger sees the dog.
@0: The bald eagle does not see the dog.[(triple4)] The bald eagle is not blue.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle sees the tiger.[(triple5 OR ((triple2 triple6) -> rule5))] The dog is blue.[(triple6)] The dog sees the tiger.[(triple7)] The rabbit is green.[(triple8)] The rabbit is red.[(triple9)] The rabbit sees the dog.[(triple10)] The tiger needs the bald eagle.[(triple11 OR ((triple3 triple4) -> rule6))] The tiger needs the dog.[(triple12)] @1: The tiger is rough.[(((triple11 triple5) -> rule1) OR ((triple11 ((triple2 triple6) -> rule5)) -> rule1) OR ((((triple3 triple4) -> rule6) triple5) -> rule1) OR ((((triple3 triple4) -> rule6) ((triple2 triple6) -> rule5)) -> rule1))] The tiger likes the bald eagle.[(((triple11) -> rule7) OR ((((triple3 triple4) -> rule6)) -> rule7))] @2: The bald eagle needs the dog.[(((((triple11) -> rule7)) -> rule3) OR ((((((triple3 triple4) -> rule6)) -> rule7)) -> rule3))] @3: The bald eagle needs the bald eagle.[(((((((triple11) -> rule7)) -> rule3) triple2) -> rule2) OR ((((((((triple3 triple4) -> rule6)) -> rule7)) -> rule3) triple2) -> rule2))] @4: The bald eagle is rough.[(((((((((triple11) -> rule7)) -> rule3) triple2) -> rule2) triple5) -> rule1) OR ((((((((triple11) -> rule7)) -> rule3) triple2) -> rule2) ((triple2 triple6) -> rule5)) -> rule1) OR ((((((((((triple3 triple4) -> rule6)) -> rule7)) -> rule3) triple2) -> rule2) triple5) -> rule1) OR ((((((((((triple3 triple4) -> rule6)) -> rule7)) -> rule3) triple2) -> rule2) ((triple2 triple6) -> rule5)) -> rule1))] The bald eagle likes the bald eagle.[(((((((((triple11) -> rule7)) -> rule3) triple2) -> rule2)) -> rule7) OR ((((((((((triple3 triple4) -> rule6)) -> rule7)) -> rule3) triple2) -> rule2)) -> rule7))] @5: The dog needs the tiger.[(((((((((((triple11) -> rule7)) -> rule3) triple2) -> rule2) triple5) -> rule1) triple2) -> rule4) OR ((((((((((triple11) -> rule7)) -> rule3) triple2) -> rule2) ((triple2 triple6) -> rule5)) -> rule1) triple2) -> rule4) OR ((((((((((((triple3 triple4) -> rule6)) -> rule7)) -> rule3) triple2) -> rule2) triple5) -> rule1) triple2) -> rule4) OR ((((((((((((triple3 triple4) -> rule6)) -> rule7)) -> rule3) triple2) -> rule2) ((triple2 triple6) -> rule5)) -> rule1) triple2) -> rule4))]