The bald eagle is cold. The bald eagle likes the tiger. The lion chases the bald eagle. The lion eats the tiger. The lion is cold. The tiger eats the bald eagle. The tiger is nice. If something eats the tiger and it is nice then the tiger likes the bald eagle. If something eats the lion then it is red. If something eats the bald eagle then it eats the tiger. If something is young then it chases the bald eagle. If something likes the bald eagle and the bald eagle likes the tiger then the tiger eats the lion. If something eats the tiger then the tiger is nice. If something is cold then it likes the bald eagle. If something eats the bald eagle and the bald eagle eats the lion then the bald eagle is young.
The bald eagle is cold.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the tiger.[(triple2)] The lion chases the bald eagle.[(triple3)] The lion eats the tiger.[(triple4)] The lion is cold.[(triple5)] The tiger eats the bald eagle.[(triple6)] The tiger is nice.[(triple7 OR ((triple4) -> rule6) OR ((((triple6) -> rule3)) -> rule6))] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule7))] The lion likes the bald eagle.[(((triple5) -> rule7))] The tiger eats the tiger.[(((triple6) -> rule3))] @2: The tiger eats the lion.[(((((triple1) -> rule7) triple2) -> rule5) OR ((((triple5) -> rule7) triple2) -> rule5) OR ((((((triple6) -> rule3) triple7) -> rule1) triple2) -> rule5) OR ((((((triple6) -> rule3) ((triple4) -> rule6)) -> rule1) triple2) -> rule5) OR ((((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule6)) -> rule1) triple2) -> rule5))] The tiger likes the bald eagle.[(((((triple6) -> rule3) triple7) -> rule1) OR ((((triple6) -> rule3) ((triple4) -> rule6)) -> rule1) OR ((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule6)) -> rule1))] @3: The tiger is red.[(((((((triple1) -> rule7) triple2) -> rule5)) -> rule2) OR ((((((triple5) -> rule7) triple2) -> rule5)) -> rule2) OR ((((((((triple6) -> rule3) triple7) -> rule1) triple2) -> rule5)) -> rule2) OR ((((((((triple6) -> rule3) ((triple4) -> rule6)) -> rule1) triple2) -> rule5)) -> rule2) OR ((((((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule6)) -> rule1) triple2) -> rule5)) -> rule2))]