Bob is quiet. Bob is round. Bob is smart. Bob is young. Charlie is quiet. Charlie is smart. Charlie is white. Harry is rough. Harry is white. Harry is young. If Charlie is rough then Charlie is smart. If Harry is quiet then Harry is white. All smart, rough things are red. If Charlie is smart then Charlie is white. Rough things are red. All red, smart things are rough.
Harry is red.
@0: Bob is quiet.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple4)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple6) -> rule4))] Harry is rough.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Harry is red.[(((triple8) -> rule5))]