The bald eagle is cold. The bald eagle is round. The bear chases the lion. The bear is cold. The bear sees the dog. The dog chases the bear. The lion chases the dog. If something is red and cold then it sees the dog. If the bald eagle sees the lion then the bald eagle chases the lion. If the lion sees the bald eagle then the lion needs the bald eagle. If something is red then it chases the bear. If something sees the lion and it is nice then it sees the bear. If the bald eagle sees the dog then the bald eagle needs the dog. Cold things are red. If something needs the lion and the lion chases the bald eagle then the bald eagle sees the bear.
The bear is not red.
@0: The bald eagle is cold.[(triple1)] The bald eagle is round.[(triple2)] The bear chases the lion.[(triple3)] The bear is cold.[(triple4)] The bear sees the dog.[(triple5 OR ((((triple4) -> rule7) triple4) -> rule1))] The dog chases the bear.[(triple6)] The lion chases the dog.[(triple7)] @1: The bald eagle is red.[(((triple1) -> rule7))] The bear is red.[(((triple4) -> rule7))] @2: The bald eagle chases the bear.[(((((triple1) -> rule7)) -> rule4))] The bald eagle sees the dog.[(((((triple1) -> rule7) triple1) -> rule1))] The bear chases the bear.[(((((triple4) -> rule7)) -> rule4))] @3: The bald eagle needs the dog.[(((((((triple1) -> rule7) triple1) -> rule1)) -> rule6))]