The bald eagle likes the rabbit. The mouse likes the rabbit. The rabbit visits the mouse. If something sees the bald eagle then the bald eagle is cold. If something visits the mouse then it sees the bald eagle. If something is cold and it likes the rabbit then it sees the rabbit. If something visits the bald eagle then it is big. If something visits the mouse then it is big. If something sees the mouse then it sees the bald eagle. If something is big then it likes the mouse. If something likes the rabbit then the rabbit sees the bald eagle.
The mouse is cold.
@0: The bald eagle likes the rabbit.[(triple1)] The mouse likes the rabbit.[(triple2)] The rabbit visits the mouse.[(triple3)] @1: The rabbit is big.[(((triple3) -> rule5))] The rabbit sees the bald eagle.[(((triple1) -> rule8) OR ((triple2) -> rule8) OR ((triple3) -> rule2))] @2: The bald eagle is cold.[(((((triple1) -> rule8)) -> rule1) OR ((((triple2) -> rule8)) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] The rabbit likes the mouse.[(((((triple3) -> rule5)) -> rule7))] @3: The bald eagle sees the rabbit.[(((((((triple1) -> rule8)) -> rule1) triple1) -> rule3) OR ((((((triple2) -> rule8)) -> rule1) triple1) -> rule3) OR ((((((triple3) -> rule2)) -> rule1) triple1) -> rule3))]