The lion is big. The lion is green. The lion is kind. The lion is nice. The lion is red. Red things are big. Big things are green. All green, kind things are nice. If something is nice and big then it is kind. All nice things are big. If the lion is big then the lion is nice.
The lion chases the lion.
@0: The lion is big.[(triple1 OR ((triple4) -> rule5) OR ((triple5) -> rule1) OR ((((triple2 triple3) -> rule3)) -> rule5))] The lion is green.[(triple2 OR ((triple1) -> rule2) OR ((((triple4) -> rule5)) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] The lion is kind.[(triple3 OR ((triple4 triple1) -> rule4) OR ((triple4 ((triple4) -> rule5)) -> rule4) OR ((triple4 ((triple5) -> rule1)) -> rule4) OR ((((triple1) -> rule6) triple1) -> rule4) OR ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule4) OR ((((triple1) -> rule6) ((triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule1)) -> rule6) triple1) -> rule4) OR ((((((triple5) -> rule1)) -> rule6) ((triple4) -> rule5)) -> rule4) OR ((((((triple5) -> rule1)) -> rule6) ((triple5) -> rule1)) -> rule4))] The lion is nice.[(triple4 OR ((triple1) -> rule6) OR ((triple2 triple3) -> rule3) OR ((((triple5) -> rule1)) -> rule6) OR ((((triple1) -> rule2) triple3) -> rule3) OR ((((((triple5) -> rule1)) -> rule2) triple3) -> rule3))] The lion is red.[(triple5)]