The bald eagle chases the dog. The bald eagle chases the rabbit. The bald eagle is cold. The dog is big. The dog needs the bald eagle. The dog needs the rabbit. The dog sees the rabbit. The rabbit chases the dog. The rabbit needs the bald eagle. The rabbit sees the dog. If the rabbit chases the dog and the rabbit is big then the dog is big. If someone chases the bald eagle and they need the dog then they are cold. If someone is nice and they see the bald eagle then they are big. If someone chases the dog and the dog chases the bald eagle then the bald eagle needs the rabbit. If someone needs the rabbit then they chase the bald eagle. If someone sees the rabbit and they are nice then the rabbit sees the bald eagle.
The dog is not cold.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is cold.[(triple3)] The dog is big.[(triple4)] The dog needs the bald eagle.[(triple5)] The dog needs the rabbit.[(triple6)] The dog sees the rabbit.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit needs the bald eagle.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The dog chases the bald eagle.[(((triple6) -> rule5))] @2: The bald eagle needs the rabbit.[(((triple1 ((triple6) -> rule5)) -> rule4) OR ((triple8 ((triple6) -> rule5)) -> rule4))] @3: The bald eagle chases the bald eagle.[(((((triple1 ((triple6) -> rule5)) -> rule4)) -> rule5) OR ((((triple8 ((triple6) -> rule5)) -> rule4)) -> rule5))]