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