Charlie is young. Dave is rough. Dave is not smart. Gary is nice. Gary is smart. Gary is young. Harry is not quiet. Harry is rough. Harry is smart. Harry is not young. Young things are furry. All rough things are not young. If something is smart and not rough then it is white. If Charlie is furry then Charlie is smart. If something is quiet then it is not nice. Furry, nice things are smart.
Dave is nice.
@0: Charlie is young.[(triple1)] Dave is not smart.[(triple3)] Dave is rough.[(triple2)] Gary is nice.[(triple4)] Gary is smart.[(triple5 OR ((((triple6) -> rule1) triple4) -> rule6))] Gary is young.[(triple6)] Harry is not quiet.[(triple7)] Harry is not young.[(triple10 OR ((triple8) -> rule2))] Harry is rough.[(triple8)] Harry is smart.[(triple9)] @1: Charlie is furry.[(((triple1) -> rule1))] Dave is not young.[(((triple2) -> rule2))] Gary is furry.[(((triple6) -> rule1))] @2: Charlie is smart.[(((((triple1) -> rule1)) -> rule4))]