The lion is big. The lion is cold. The lion is nice. The lion is red. The lion is round. The lion needs the tiger. The lion sees the tiger. The lion visits the tiger. The tiger is cold. The tiger is nice. The tiger is red. The tiger is round. The tiger needs the lion. The tiger sees the lion. The tiger visits the lion. If the lion sees the tiger then the lion is big. If the tiger needs the lion then the tiger is big. If someone needs the lion and they need the tiger then the tiger visits the lion. If the lion sees the tiger then the tiger sees the lion. If someone is cold then they see the lion. If the tiger sees the lion and the lion visits the tiger then the tiger needs the lion. If someone is big then they see the tiger. If someone is big and they see the lion then the lion is nice.
The tiger is round.
@0: The lion is big.[(triple1 OR ((triple7) -> rule1))] The lion is cold.[(triple2)] The lion is nice.[(triple3 OR ((triple1 ((triple2) -> rule5)) -> rule8) OR ((((triple13) -> rule2) triple14) -> rule8) OR ((((triple13) -> rule2) ((triple7) -> rule4)) -> rule8) OR ((((triple13) -> rule2) ((triple9) -> rule5)) -> rule8) OR ((((triple7) -> rule1) ((triple2) -> rule5)) -> rule8) OR ((((((triple14 triple8) -> rule6)) -> rule2) triple14) -> rule8) OR ((((triple13) -> rule2) ((((triple1) -> rule7)) -> rule4)) -> rule8) OR ((((((triple14 triple8) -> rule6)) -> rule2) ((triple7) -> rule4)) -> rule8) OR ((((((triple14 triple8) -> rule6)) -> rule2) ((triple9) -> rule5)) -> rule8) OR ((((((triple14 triple8) -> rule6)) -> rule2) ((((triple1) -> rule7)) -> rule4)) -> rule8) OR ((((((((triple7) -> rule4) triple8) -> rule6)) -> rule2) triple14) -> rule8) OR ((((((((triple9) -> rule5) triple8) -> rule6)) -> rule2) triple14) -> rule8) OR ((((((((triple7) -> rule4) triple8) -> rule6)) -> rule2) ((triple7) -> rule4)) -> rule8) OR ((((((((triple7) -> rule4) triple8) -> rule6)) -> rule2) ((triple9) -> rule5)) -> rule8) OR ((((((((triple9) -> rule5) triple8) -> rule6)) -> rule2) ((triple7) -> rule4)) -> rule8) OR ((((((((triple9) -> rule5) triple8) -> rule6)) -> rule2) ((triple9) -> rule5)) -> rule8) OR ((((((((triple7) -> rule4) triple8) -> rule6)) -> rule2) ((((triple1) -> rule7)) -> rule4)) -> rule8) OR ((((((((triple9) -> rule5) triple8) -> rule6)) -> rule2) ((((triple1) -> rule7)) -> rule4)) -> rule8) OR ((((((((((triple1) -> rule7)) -> rule4) triple8) -> rule6)) -> rule2) triple14) -> rule8) OR ((((((((((triple1) -> rule7)) -> rule4) triple8) -> rule6)) -> rule2) ((triple7) -> rule4)) -> rule8) OR ((((((((((triple1) -> rule7)) -> rule4) triple8) -> rule6)) -> rule2) ((triple9) -> rule5)) -> rule8) OR ((((((((((triple1) -> rule7)) -> rule4) triple8) -> rule6)) -> rule2) ((((triple1) -> rule7)) -> rule4)) -> rule8))] The lion is red.[(triple4)] The lion is round.[(triple5)] The lion needs the tiger.[(triple6)] The lion sees the tiger.[(triple7 OR ((triple1) -> rule7))] The lion visits the tiger.[(triple8)] The tiger is cold.[(triple9)] The tiger is nice.[(triple10)] The tiger is red.[(triple11)] The tiger is round.[(triple12)] The tiger needs the lion.[(triple13 OR ((triple14 triple8) -> rule6) OR ((((triple7) -> rule4) triple8) -> rule6) OR ((((triple9) -> rule5) triple8) -> rule6) OR ((((((triple1) -> rule7)) -> rule4) triple8) -> rule6))] The tiger sees the lion.[(triple14 OR ((triple7) -> rule4) OR ((triple9) -> rule5) OR ((((triple1) -> rule7)) -> rule4))] The tiger visits the lion.[(triple15)] @1: The lion sees the lion.[(((triple2) -> rule5))] The tiger is big.[(((triple13) -> rule2) OR ((((triple14 triple8) -> rule6)) -> rule2) OR ((((((triple7) -> rule4) triple8) -> rule6)) -> rule2) OR ((((((triple9) -> rule5) triple8) -> rule6)) -> rule2) OR ((((((((triple1) -> rule7)) -> rule4) triple8) -> rule6)) -> rule2))] @2: The tiger sees the tiger.[(((((triple13) -> rule2)) -> rule7) OR ((((((triple14 triple8) -> rule6)) -> rule2)) -> rule7) OR ((((((((triple7) -> rule4) triple8) -> rule6)) -> rule2)) -> rule7) OR ((((((((triple9) -> rule5) triple8) -> rule6)) -> rule2)) -> rule7) OR ((((((((((triple1) -> rule7)) -> rule4) triple8) -> rule6)) -> rule2)) -> rule7))]