The bald eagle eats the dog. The bald eagle is cold. The bald eagle is kind. The bald eagle sees the dog. The dog eats the bald eagle. The dog is blue. The dog is not cold. The dog is kind. The dog is not round. The dog is young. The dog needs the bald eagle. The dog sees the bald eagle. If something needs the dog and the dog sees the bald eagle then it needs the bald eagle. If something needs the dog then it needs the bald eagle. If something eats the bald eagle and the bald eagle eats the dog then it needs the bald eagle. If something needs the bald eagle then the bald eagle is kind. If the dog eats the bald eagle then the bald eagle is young. If something needs the dog and it does not eat the dog then the dog needs the bald eagle. If the bald eagle is young then the bald eagle needs the dog. If something is cold and it does not need the bald eagle then it does not see the dog.
The dog eats the dog.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3 OR ((triple11) -> rule4) OR ((((triple5 triple1) -> rule3)) -> rule4) OR ((((((((triple5) -> rule5)) -> rule7)) -> rule2)) -> rule4) OR ((((((((triple5) -> rule5)) -> rule7) triple12) -> rule1)) -> rule4))] The bald eagle sees the dog.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog is blue.[(triple6)] The dog is kind.[(triple8)] The dog is not cold.[(triple7)] The dog is not round.[(triple9)] The dog is young.[(triple10)] The dog needs the bald eagle.[(triple11 OR ((triple5 triple1) -> rule3))] The dog sees the bald eagle.[(triple12)] @1: The bald eagle is young.[(((triple5) -> rule5))] @2: The bald eagle needs the dog.[(((((triple5) -> rule5)) -> rule7))] @3: The bald eagle needs the bald eagle.[(((((((triple5) -> rule5)) -> rule7)) -> rule2) OR ((((((triple5) -> rule5)) -> rule7) triple12) -> rule1))]