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