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