The bald eagle chases the cat. The bald eagle is cold. The bald eagle is kind. The bald eagle needs the cat. The cat chases the bald eagle. The cat eats the bald eagle. The cat is kind. If the cat chases the bald eagle and the cat needs the bald eagle then the cat is cold. If someone eats the cat and they need the cat then the cat is blue. If the bald eagle is young and the bald eagle needs the cat then the bald eagle is nice. If the cat eats the bald eagle then the bald eagle eats the cat. If someone needs the bald eagle and the bald eagle needs the cat then the bald eagle is blue. If the bald eagle is nice then the bald eagle chases the cat. If the bald eagle needs the cat then the cat needs the bald eagle. If someone needs the cat then they are cold.
The cat needs the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple4) -> rule8))] The bald eagle is kind.[(triple3)] The bald eagle needs the cat.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat eats the bald eagle.[(triple6)] The cat is kind.[(triple7)] @1: The bald eagle eats the cat.[(((triple6) -> rule4))] The cat needs the bald eagle.[(((triple4) -> rule7))] @2: The bald eagle is blue.[(((((triple4) -> rule7) triple4) -> rule5))] The cat is blue.[(((((triple6) -> rule4) triple4) -> rule2))] The cat is cold.[(((triple5 ((triple4) -> rule7)) -> rule1))]