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