The bald eagle likes the tiger. The bald eagle sees the tiger. The tiger is rough. Blue things are cold. Green, rough things are blue. If something likes the bald eagle then it sees the tiger. If something sees the tiger then the tiger is green. If something likes the tiger then it eats the tiger. If the bald eagle sees the tiger then the tiger sees the bald eagle.
The bald eagle is not blue.
@0: The bald eagle likes the tiger.[(triple1)] The bald eagle sees the tiger.[(triple2)] The tiger is rough.[(triple3)] @1: The bald eagle eats the tiger.[(((triple1) -> rule5))] The tiger is green.[(((triple2) -> rule4))] The tiger sees the bald eagle.[(((triple2) -> rule6))] @2: The tiger is blue.[(((((triple2) -> rule4) triple3) -> rule2))] @3: The tiger is cold.[(((((((triple2) -> rule4) triple3) -> rule2)) -> rule1))]