Charlie is young. Harry is green. Harry is rough. If Charlie is round then Charlie is rough. Cold, round things are white. If something is cold then it is young. Rough things are young. If something is rough and green then it is young. All green things are rough. If Charlie is not white then Charlie is not young. All young things are big.
Charlie is not white.
@0: Charlie is young.[(triple1)] Harry is green.[(triple2)] Harry is rough.[(triple3 OR ((triple2) -> rule6))] @1: Charlie is big.[(((triple1) -> rule8))] Harry is young.[(((triple3) -> rule4) OR ((triple3 triple2) -> rule5) OR ((((triple2) -> rule6)) -> rule4) OR ((((triple2) -> rule6) triple2) -> rule5))] @2: Harry is big.[(((((triple3) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5)) -> rule8) OR ((((((triple2) -> rule6)) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) triple2) -> rule5)) -> rule8))]