The lion eats the tiger. The lion is blue. The lion is cold. The lion is nice. The lion is red. The lion is rough. The lion needs the tiger. The lion visits the tiger. The tiger eats the lion. The tiger is blue. The tiger is cold. The tiger is nice. The tiger is red. The tiger is rough. The tiger needs the lion. The tiger visits the lion. If something visits the tiger and it is red then the tiger needs the lion. If the tiger eats the lion and the lion needs the tiger then the lion is nice. If something is red then it visits the tiger. If something needs the tiger then the tiger needs the lion. If something eats the tiger then it is nice. If the lion is blue and the lion eats the tiger then the lion is cold. If something eats the lion then it visits the lion. If something visits the tiger then it is red.
The lion eats the lion.
@0: The lion eats the tiger.[(triple1)] The lion is blue.[(triple2)] The lion is cold.[(triple3 OR ((triple2 triple1) -> rule6))] The lion is nice.[(triple4 OR ((triple1) -> rule5) OR ((triple9 triple7) -> rule2))] The lion is red.[(triple5 OR ((triple8) -> rule8))] The lion is rough.[(triple6)] The lion needs the tiger.[(triple7)] The lion visits the tiger.[(triple8 OR ((triple5) -> rule3))] The tiger eats the lion.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the lion.[(triple15 OR ((triple7) -> rule4) OR ((triple8 triple5) -> rule1) OR ((triple8 ((triple8) -> rule8)) -> rule1) OR ((((triple13) -> rule3) triple13) -> rule1) OR ((((triple5) -> rule3) triple5) -> rule1) OR ((((triple5) -> rule3) ((triple8) -> rule8)) -> rule1))] The tiger visits the lion.[(triple16 OR ((triple9) -> rule7))] @1: The tiger visits the tiger.[(((triple13) -> rule3))]