The lion likes the tiger. The lion visits the tiger. The tiger is big. If something is big then it likes the lion. If something is red and round then it likes the lion. If something is blue then it visits the tiger. If something sees the lion and it is big then the lion sees the tiger. If something likes the tiger then it is blue. If something likes the lion then it visits the tiger. If the tiger likes the lion and the tiger is big then the tiger visits the lion. If the lion visits the tiger and the lion sees the tiger then the lion likes the tiger.
The lion is not green.
@0: The lion likes the tiger.[(triple1)] The lion visits the tiger.[(triple2 OR ((((triple1) -> rule5)) -> rule3))] The tiger is big.[(triple3)] @1: The lion is blue.[(((triple1) -> rule5))] The tiger likes the lion.[(((triple3) -> rule1))] @2: The tiger visits the lion.[(((((triple3) -> rule1) triple3) -> rule7))] The tiger visits the tiger.[(((((triple3) -> rule1)) -> rule6))]