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