The lion is big. The lion is blue. The lion is green. The lion is kind. The lion is rough. If something is blue and kind then it is rough. If the lion is blue then the lion is big. If something is kind then it is blue. All rough things are kind. If the lion is blue and the lion is not rough then the lion is green. If the lion is kind and the lion is blue then the lion is green. If something is kind and not blue then it is big. If something is green and not rough then it is big.
The lion is big.
@0: The lion is big.[(triple1 OR ((triple2) -> rule2) OR ((((triple4) -> rule3)) -> rule2) OR ((((((triple5) -> rule4)) -> rule3)) -> rule2))] The lion is blue.[(triple2 OR ((triple4) -> rule3) OR ((((triple5) -> rule4)) -> rule3))] The lion is green.[(triple3 OR ((triple4 triple2) -> rule6) OR ((triple4 ((triple4) -> rule3)) -> rule6) OR ((((triple5) -> rule4) triple2) -> rule6) OR ((((triple5) -> rule4) ((triple4) -> rule3)) -> rule6) OR ((triple4 ((((triple5) -> rule4)) -> rule3)) -> rule6) OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule3)) -> rule6))] The lion is kind.[(triple4 OR ((triple5) -> rule4))] The lion is rough.[(triple5 OR ((triple2 triple4) -> rule1) OR ((((triple4) -> rule3) triple4) -> rule1))]