The bald eagle is red. The bald eagle sees the lion. The bear is young. The bear visits the bald eagle. The cat needs the bear. The cat visits the lion. The lion is young. If something visits the cat then it needs the cat. If the bald eagle is kind then the bald eagle needs the cat. If something needs the bald eagle then the bald eagle is young. All red things are cold. If something needs the bear and the bear is nice then it is young. If something needs the bald eagle then the bald eagle visits the bear. If something needs the bear then the bear is nice. If something is cold then it sees the lion.
The cat is not cold.
@0: The bald eagle is red.[(triple1)] The bald eagle sees the lion.[(triple2 OR ((((triple1) -> rule4)) -> rule8))] The bear is young.[(triple3)] The bear visits the bald eagle.[(triple4)] The cat needs the bear.[(triple5)] The cat visits the lion.[(triple6)] The lion is young.[(triple7)] @1: The bald eagle is cold.[(((triple1) -> rule4))] The bear is nice.[(((triple5) -> rule7))] @2: The cat is young.[(((triple5 ((triple5) -> rule7)) -> rule5))]