The lion is green. The lion is rough. The lion is young. Green, blue things are round. Green, round things are blue. If the lion is round then the lion is blue. All green things are blue. Round things are young. All round things are blue. All green, rough things are round. All blue, young things are round.
The lion is not rough.
@0: The lion is green.[(triple1)] The lion is rough.[(triple2)] The lion is young.[(triple3 OR ((((triple1 triple2) -> rule7)) -> rule5) OR ((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5))] @1: The lion is blue.[(((triple1) -> rule4) OR ((((triple1 triple2) -> rule7)) -> rule3) OR ((((triple1 triple2) -> rule7)) -> rule6) OR ((triple1 ((triple1 triple2) -> rule7)) -> rule2))] The lion is round.[(((triple1 triple2) -> rule7) OR ((triple1 ((triple1) -> rule4)) -> rule1) OR ((((triple1) -> rule4) triple3) -> rule8))]