The lion is big. The lion is blue. The lion is green. The lion is kind. The lion is rough. All green things are big. All green, rough things are big. All big, rough things are kind.
The lion is green.
@0: The lion is big.[(triple1 OR ((triple3) -> rule1) OR ((triple3 triple5) -> rule2))] The lion is blue.[(triple2)] The lion is green.[(triple3)] The lion is kind.[(triple4 OR ((triple1 triple5) -> rule3) OR ((((triple3) -> rule1) triple5) -> rule3) OR ((((triple3 triple5) -> rule2) triple5) -> rule3))] The lion is rough.[(triple5)]