The bald eagle chases the dog. The bald eagle is cold. The dog chases the bald eagle. The rabbit is nice. The tiger is cold. The tiger needs the dog. The tiger visits the dog. If someone is nice and cold then they chase the tiger. If the bald eagle chases the tiger and the tiger needs the bald eagle then the bald eagle needs the tiger. If someone visits the dog then they chase the dog. If someone chases the bald eagle then the bald eagle visits the dog. If the tiger chases the dog then the dog is cold. If someone is round then they visit the dog. If someone chases the dog and they visit the bald eagle then the bald eagle is cold. If someone visits the dog and the dog is cold then the dog is round.
The dog is not round.
@0: The bald eagle chases the dog.[(triple1 OR ((((triple3) -> rule4)) -> rule3))] The bald eagle is cold.[(triple2)] The dog chases the bald eagle.[(triple3)] The rabbit is nice.[(triple4)] The tiger is cold.[(triple5)] The tiger needs the dog.[(triple6)] The tiger visits the dog.[(triple7)] @1: The bald eagle visits the dog.[(((triple3) -> rule4))] The tiger chases the dog.[(((triple7) -> rule3))] @2: The dog is cold.[(((((triple7) -> rule3)) -> rule5))] @3: The dog is round.[(((triple7 ((((triple7) -> rule3)) -> rule5)) -> rule8) OR ((((triple3) -> rule4) ((((triple7) -> rule3)) -> rule5)) -> rule8))] @4: The dog visits the dog.[(((((triple7 ((((triple7) -> rule3)) -> rule5)) -> rule8)) -> rule6) OR ((((((triple3) -> rule4) ((((triple7) -> rule3)) -> rule5)) -> rule8)) -> rule6))] @5: The dog chases the dog.[(((((((triple7 ((((triple7) -> rule3)) -> rule5)) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule4) ((((triple7) -> rule3)) -> rule5)) -> rule8)) -> rule6)) -> rule3))]