The lion sees the tiger. The rabbit eats the tiger. The tiger eats the lion. If something eats the lion then it sees the tiger. If the lion sees the tiger then the tiger is rough. If something eats the lion and it is rough then it needs the rabbit. If something is rough then it eats the lion. If something needs the rabbit then it sees the rabbit. If something eats the tiger and the tiger is cold then the tiger eats the lion. If something is rough then it eats the rabbit. If something is rough then it eats the lion.
The rabbit does not see the tiger.
@0: The lion sees the tiger.[(triple1)] The rabbit eats the tiger.[(triple2)] The tiger eats the lion.[(triple3 OR ((((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule2)) -> rule8))] @1: The tiger is rough.[(((triple1) -> rule2))] The tiger sees the tiger.[(((triple3) -> rule1) OR ((((((triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple1) -> rule2)) -> rule8)) -> rule1))] @2: The tiger eats the rabbit.[(((((triple1) -> rule2)) -> rule7))] The tiger needs the rabbit.[(((triple3 ((triple1) -> rule2)) -> rule3) OR ((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule3) OR ((((((triple1) -> rule2)) -> rule8) ((triple1) -> rule2)) -> rule3))] @3: The tiger sees the rabbit.[(((((triple3 ((triple1) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule8) ((triple1) -> rule2)) -> rule3)) -> rule5))]