The bald eagle is blue. The bald eagle visits the bear. The bald eagle visits the rabbit. The bear chases the bald eagle. The dog is not cold. The rabbit is red. The rabbit needs the bear. If the bald eagle visits the bear and the bald eagle is rough then the bear chases the rabbit. If someone is rough then they chase the bald eagle. If someone is cold then they are rough. If someone needs the bald eagle then the bald eagle is cold. If someone needs the rabbit and they chase the bald eagle then the bald eagle does not chase the bear. If someone chases the bald eagle then they are kind. If someone is kind then they need the bald eagle. If the rabbit is red and the rabbit is blue then the rabbit needs the bear.
The rabbit does not need the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle visits the bear.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The bear chases the bald eagle.[(triple4)] The dog is not cold.[(triple5)] The rabbit is red.[(triple6)] The rabbit needs the bear.[(triple7)] @1: The bear is kind.[(((triple4) -> rule6))] @2: The bear needs the bald eagle.[(((((triple4) -> rule6)) -> rule7))] @3: The bald eagle is cold.[(((((((triple4) -> rule6)) -> rule7)) -> rule4))] @4: The bald eagle is rough.[(((((((((triple4) -> rule6)) -> rule7)) -> rule4)) -> rule3))] @5: The bald eagle chases the bald eagle.[(((((((((((triple4) -> rule6)) -> rule7)) -> rule4)) -> rule3)) -> rule2))] The bear chases the rabbit.[(((triple2 ((((((((triple4) -> rule6)) -> rule7)) -> rule4)) -> rule3)) -> rule1))] @6: The bald eagle is kind.[(((((((((((((triple4) -> rule6)) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule6))] @7: The bald eagle needs the bald eagle.[(((((((((((((((triple4) -> rule6)) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule6)) -> rule7))]