The lion is big. The lion is nice. The lion is rough. The lion is round. The lion is young. All nice things are big. Round things are young. If the lion is big then the lion is rough. If something is young then it is round. If the lion is round and the lion is young then the lion is rough. If something is big then it is round.
The lion does not like the lion.
@0: The lion is big.[(triple1 OR ((triple2) -> rule1))] The lion is nice.[(triple2)] The lion is rough.[(triple3 OR ((triple1) -> rule3) OR ((triple4 triple5) -> rule5) OR ((((triple2) -> rule1)) -> rule3) OR ((triple4 ((triple4) -> rule2)) -> rule5) OR ((((triple1) -> rule6) triple5) -> rule5) OR ((((triple5) -> rule4) triple5) -> rule5) OR ((((triple1) -> rule6) ((triple4) -> rule2)) -> rule5) OR ((((triple5) -> rule4) ((triple4) -> rule2)) -> rule5) OR ((triple4 ((((triple1) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1)) -> rule6) triple5) -> rule5) OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule2)) -> rule5) OR ((((triple5) -> rule4) ((((triple1) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1)) -> rule6) ((triple4) -> rule2)) -> rule5) OR ((((((triple2) -> rule1)) -> rule6) ((((triple1) -> rule6)) -> rule2)) -> rule5) OR ((triple4 ((((((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule6) ((((((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule5) OR ((((triple5) -> rule4) ((((((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1)) -> rule6) ((((((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule5))] The lion is round.[(triple4 OR ((triple1) -> rule6) OR ((triple5) -> rule4) OR ((((triple2) -> rule1)) -> rule6))] The lion is young.[(triple5 OR ((triple4) -> rule2) OR ((((triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule6)) -> rule2))]