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