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