The rabbit chases the tiger. The rabbit does not eat the tiger. The rabbit is cold. The rabbit sees the tiger. The tiger chases the rabbit. The tiger does not eat the rabbit. The tiger is cold. If something sees the rabbit then it does not eat the tiger. If the rabbit is green and the rabbit is red then the rabbit sees the tiger. If something is cold then it sees the rabbit.
The rabbit chases the tiger.
@0: The rabbit chases the tiger.[(triple1)] The rabbit does not eat the tiger.[(triple2 OR ((((triple3) -> rule3)) -> rule1))] The rabbit is cold.[(triple3)] The rabbit sees the tiger.[(triple4)] The tiger chases the rabbit.[(triple5)] The tiger does not eat the rabbit.[(triple6)] The tiger is cold.[(triple7)] @1: The rabbit sees the rabbit.[(((triple3) -> rule3))] The tiger sees the rabbit.[(((triple7) -> rule3))] @2: The tiger does not eat the tiger.[(((((triple7) -> rule3)) -> rule1))]