The lion chases the tiger. The lion is big. The lion is red. The lion is round. The lion is young. The lion needs the tiger. The lion visits the tiger. The tiger chases the lion. The tiger is big. The tiger is blue. The tiger is red. The tiger is round. The tiger is young. The tiger needs the lion. The tiger visits the lion. If something visits the tiger then the tiger is young. If something is round then it visits the lion. If something is big then it needs the lion. If something is young then it needs the tiger. If something needs the tiger and the tiger is young then the tiger visits the lion. If something is red and it needs the lion then it chases the lion. Young, blue things are big. If something chases the lion then it is blue.
The lion does not need the tiger.
@0: The lion chases the tiger.[(triple1)] The lion is big.[(triple2)] The lion is red.[(triple3)] The lion is round.[(triple4)] The lion is young.[(triple5)] The lion needs the tiger.[(triple6 OR ((triple5) -> rule4))] The lion visits the tiger.[(triple7)] The tiger chases the lion.[(triple8 OR ((triple11 triple14) -> rule6) OR ((triple11 ((triple9) -> rule3)) -> rule6) OR ((triple11 ((((triple13 triple10) -> rule7)) -> rule3)) -> rule6) OR ((triple11 ((((((triple7) -> rule1) triple10) -> rule7)) -> rule3)) -> rule6))] The tiger is big.[(triple9 OR ((triple13 triple10) -> rule7) OR ((triple13 ((triple8) -> rule8)) -> rule7) OR ((((triple7) -> rule1) triple10) -> rule7) OR ((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) OR ((triple13 ((((triple11 triple14) -> rule6)) -> rule8)) -> rule7) OR ((((triple7) -> rule1) ((((triple11 triple14) -> rule6)) -> rule8)) -> rule7))] The tiger is blue.[(triple10 OR ((triple8) -> rule8) OR ((((triple11 triple14) -> rule6)) -> rule8) OR ((((triple11 ((triple9) -> rule3)) -> rule6)) -> rule8))] The tiger is red.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13 OR ((triple7) -> rule1))] The tiger needs the lion.[(triple14 OR ((triple9) -> rule3) OR ((((triple13 triple10) -> rule7)) -> rule3) OR ((((triple13 ((triple8) -> rule8)) -> rule7)) -> rule3) OR ((((((triple7) -> rule1) triple10) -> rule7)) -> rule3) OR ((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7)) -> rule3))] The tiger visits the lion.[(triple15 OR ((triple12) -> rule2) OR ((triple6 triple13) -> rule5) OR ((triple6 ((triple7) -> rule1)) -> rule5) OR ((((triple13) -> rule4) triple13) -> rule5) OR ((((triple5) -> rule4) triple13) -> rule5) OR ((((triple13) -> rule4) ((triple7) -> rule1)) -> rule5) OR ((((triple5) -> rule4) ((triple7) -> rule1)) -> rule5) OR ((((((triple7) -> rule1)) -> rule4) triple13) -> rule5) OR ((((((triple7) -> rule1)) -> rule4) ((triple7) -> rule1)) -> rule5))] @1: The lion needs the lion.[(((triple2) -> rule3))] The lion visits the lion.[(((triple4) -> rule2))] The tiger needs the tiger.[(((triple13) -> rule4) OR ((((triple7) -> rule1)) -> rule4))] @2: The lion chases the lion.[(((triple3 ((triple2) -> rule3)) -> rule6))] @3: The lion is blue.[(((((triple3 ((triple2) -> rule3)) -> rule6)) -> rule8))]