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