The lion is big. The lion is blue. The lion is kind. The lion is rough. The lion is round. All blue people are round. All blue, big people are rough. If someone is big then they are kind. All round people are rough. If the lion is big and the lion is round then the lion is kind. If the lion is round and the lion is rough then the lion is blue. If someone is big then they are rough. All round people are big.
The lion visits the lion.
@0: The lion is big.[(triple1 OR ((triple5) -> rule8) OR ((((triple2) -> rule1)) -> rule8))] The lion is blue.[(triple2 OR ((triple5 triple4) -> rule6) OR ((triple5 ((triple1) -> rule7)) -> rule6) OR ((triple5 ((triple5) -> rule4)) -> rule6) OR ((triple5 ((((triple5) -> rule8)) -> rule7)) -> rule6))] The lion is kind.[(triple3 OR ((triple1) -> rule3) OR ((triple1 triple5) -> rule5) OR ((((triple5) -> rule8)) -> rule3) OR ((triple1 ((triple2) -> rule1)) -> rule5) OR ((((triple5) -> rule8) triple5) -> rule5) OR ((((triple5) -> rule8) ((triple2) -> rule1)) -> rule5) OR ((((((triple2) -> rule1)) -> rule8)) -> rule3) OR ((((((triple2) -> rule1)) -> rule8) triple5) -> rule5) OR ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule5))] The lion is rough.[(triple4 OR ((triple1) -> rule7) OR ((triple5) -> rule4) OR ((triple2 triple1) -> rule2) OR ((((triple2) -> rule1)) -> rule4) OR ((((triple5) -> rule8)) -> rule7) OR ((triple2 ((triple5) -> rule8)) -> rule2) OR ((((((triple2) -> rule1)) -> rule8)) -> rule7) OR ((triple2 ((((triple2) -> rule1)) -> rule8)) -> rule2))] The lion is round.[(triple5 OR ((triple2) -> rule1))]