The cow sees the lion. The lion sees the tiger. The mouse is round. The tiger is big. If something eats the lion then it sees the tiger. If the cow does not eat the tiger then the tiger does not see the mouse. If something sees the tiger then the tiger sees the mouse. If the tiger needs the mouse then the tiger is not big. If something eats the lion then it is red. If something sees the mouse then it eats the lion. If something is round then it eats the lion. If something eats the lion and it is big then it sees the lion.
The tiger does not see the mouse.
@0: The cow sees the lion.[(triple1)] The lion sees the tiger.[(triple2)] The mouse is round.[(triple3)] The tiger is big.[(triple4)] @1: The mouse eats the lion.[(((triple3) -> rule7))] The tiger sees the mouse.[(((triple2) -> rule3) OR ((((((triple3) -> rule7)) -> rule1)) -> rule3))] @2: The mouse is red.[(((((triple3) -> rule7)) -> rule5))] The mouse sees the tiger.[(((((triple3) -> rule7)) -> rule1))] The tiger eats the lion.[(((((triple2) -> rule3)) -> rule6) OR ((((((((triple3) -> rule7)) -> rule1)) -> rule3)) -> rule6))] @3: The tiger is red.[(((((((triple2) -> rule3)) -> rule6)) -> rule5) OR ((((((((((triple3) -> rule7)) -> rule1)) -> rule3)) -> rule6)) -> rule5))] The tiger sees the lion.[(((((((triple2) -> rule3)) -> rule6) triple4) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule1)) -> rule3)) -> rule6) triple4) -> rule8))] The tiger sees the tiger.[(((((((triple2) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple3) -> rule7)) -> rule1)) -> rule3)) -> rule6)) -> rule1))]