The bald eagle likes the lion. The bald eagle likes the tiger. The bald eagle needs the tiger. The lion is kind. The lion needs the tiger. The lion sees the bald eagle. The tiger is nice. The tiger likes the bald eagle. The tiger likes the lion. The tiger needs the lion. If something is kind then it sees the lion. If something is nice then it is cold. If something needs the bald eagle and the bald eagle needs the tiger then the bald eagle sees the tiger. If something needs the lion then it sees the bald eagle. If something likes the lion then the lion needs the bald eagle. If something sees the bald eagle and the bald eagle sees the tiger then it is red.
The lion sees the lion.
@0: The bald eagle likes the lion.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle needs the tiger.[(triple3)] The lion is kind.[(triple4)] The lion needs the tiger.[(triple5)] The lion sees the bald eagle.[(triple6)] The tiger is nice.[(triple7)] The tiger likes the bald eagle.[(triple8)] The tiger likes the lion.[(triple9)] The tiger needs the lion.[(triple10)] @1: The lion needs the bald eagle.[(((triple1) -> rule5) OR ((triple9) -> rule5))] The lion sees the lion.[(((triple4) -> rule1))] The tiger is cold.[(((triple7) -> rule2))] The tiger sees the bald eagle.[(((triple10) -> rule4))] @2: The bald eagle sees the tiger.[(((((triple1) -> rule5) triple3) -> rule3) OR ((((triple9) -> rule5) triple3) -> rule3))] @3: The lion is red.[(((triple6 ((((triple1) -> rule5) triple3) -> rule3)) -> rule6) OR ((triple6 ((((triple9) -> rule5) triple3) -> rule3)) -> rule6))] The tiger is red.[(((((triple10) -> rule4) ((((triple1) -> rule5) triple3) -> rule3)) -> rule6) OR ((((triple10) -> rule4) ((((triple9) -> rule5) triple3) -> rule3)) -> rule6))]