Dave is blue. Dave is cold. Dave is round. Dave is smart. Dave is young. Harry is blue. Harry is cold. Harry is quiet. Harry is smart. Harry is young. Quiet, red things are round. Quiet, round things are cold. If Harry is blue then Harry is quiet. All cold, young things are quiet. Red things are cold. All smart things are young.
Harry is not round.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is round.[(triple3)] Dave is smart.[(triple4)] Dave is young.[(triple5 OR ((triple4) -> rule6))] Harry is blue.[(triple6)] Harry is cold.[(triple7)] Harry is quiet.[(triple8 OR ((triple6) -> rule3) OR ((triple7 triple10) -> rule4) OR ((triple7 ((triple9) -> rule6)) -> rule4))] Harry is smart.[(triple9)] Harry is young.[(triple10 OR ((triple9) -> rule6))] @1: Dave is quiet.[(((triple2 triple5) -> rule4) OR ((triple2 ((triple4) -> rule6)) -> rule4))]