The lion is big. The lion is green. The lion is kind. The lion is nice. The lion is rough. Big, nice people are kind. All big people are kind. If someone is kind then they are rough. Nice, green people are rough. If the lion is nice and the lion is kind then the lion is big. If the lion is rough and the lion is big then the lion is nice. Green, nice people are big. All big, rough people are nice.
The lion does not need the lion.
@0: The lion is big.[(triple1 OR ((triple2 triple4) -> rule7) OR ((triple4 triple3) -> rule5))] The lion is green.[(triple2)] The lion is kind.[(triple3 OR ((triple1) -> rule2) OR ((triple1 triple4) -> rule1) OR ((((triple2 triple4) -> rule7)) -> rule2) OR ((triple1 ((triple1 triple5) -> rule8)) -> rule1) OR ((triple1 ((triple5 triple1) -> rule6)) -> rule1) OR ((((triple2 triple4) -> rule7) triple4) -> rule1) OR ((((triple2 triple4) -> rule7) ((triple1 triple5) -> rule8)) -> rule1) OR ((((triple2 triple4) -> rule7) ((triple5 triple1) -> rule6)) -> rule1))] The lion is nice.[(triple4 OR ((triple1 triple5) -> rule8) OR ((triple5 triple1) -> rule6) OR ((triple1 ((triple3) -> rule3)) -> rule8) OR ((((triple3) -> rule3) triple1) -> rule6) OR ((triple1 ((((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((((triple1) -> rule2)) -> rule3) triple1) -> rule6))] The lion is rough.[(triple5 OR ((triple3) -> rule3) OR ((triple4 triple2) -> rule4) OR ((((triple1) -> rule2)) -> rule3) OR ((((triple1 triple4) -> rule1)) -> rule3) OR ((((((triple2 triple4) -> rule7)) -> rule2)) -> rule3) OR ((((((triple2 triple4) -> rule7) triple4) -> rule1)) -> rule3))]