Charlie is not furry. Charlie is not white. Dave is furry. Dave is green. Dave is white. Dave is young. Harry is green. Harry is not rough. Harry is white. Harry is young. If something is furry then it is big. Green, cold things are big. All rough, cold things are not big. Big things are green. If something is rough and not furry then it is white. If something is big then it is white. Cold things are white. All big, young things are rough.
Harry is young.
@0: Charlie is not furry.[(triple1)] Charlie is not white.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4 OR ((((triple3) -> rule1)) -> rule4))] Dave is white.[(triple5 OR ((((triple3) -> rule1)) -> rule6))] Dave is young.[(triple6)] Harry is green.[(triple7)] Harry is not rough.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Dave is big.[(((triple3) -> rule1))] @2: Dave is rough.[(((((triple3) -> rule1) triple6) -> rule8))]