The cat chases the rabbit. The mouse is young. The rabbit sees the cat. The tiger chases the rabbit. The tiger is blue. The tiger is young. The tiger sees the cat. If something needs the cat then it is young. If the tiger sees the rabbit and the rabbit needs the mouse then the rabbit sees the mouse. If something sees the tiger then it needs the tiger. If something chases the rabbit then the rabbit sees the tiger. If something sees the mouse then the mouse is big. If something sees the cat then the cat chases the rabbit.
The tiger does not chase the rabbit.
@0: The cat chases the rabbit.[(triple1 OR ((triple3) -> rule6) OR ((triple7) -> rule6))] The mouse is young.[(triple2)] The rabbit sees the cat.[(triple3)] The tiger chases the rabbit.[(triple4)] The tiger is blue.[(triple5)] The tiger is young.[(triple6)] The tiger sees the cat.[(triple7)] @1: The rabbit sees the tiger.[(((triple1) -> rule4) OR ((triple4) -> rule4) OR ((((triple3) -> rule6)) -> rule4) OR ((((triple7) -> rule6)) -> rule4))] @2: The rabbit needs the tiger.[(((((triple1) -> rule4)) -> rule3) OR ((((triple4) -> rule4)) -> rule3) OR ((((((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((((triple7) -> rule6)) -> rule4)) -> rule3))]