Charlie is red. Dave is quiet. Gary is smart. Harry is round. Round, big things are quiet. Quiet things are cold. All red things are quiet. All big, red things are smart. All cold things are round. If Dave is quiet then Dave is big.
Harry is green.
@0: Charlie is red.[(triple1)] Dave is quiet.[(triple2)] Gary is smart.[(triple3)] Harry is round.[(triple4)] @1: Charlie is quiet.[(((triple1) -> rule3))] Dave is big.[(((triple2) -> rule6))] Dave is cold.[(((triple2) -> rule2))] @2: Charlie is cold.[(((((triple1) -> rule3)) -> rule2))] Dave is round.[(((((triple2) -> rule2)) -> rule5))] @3: Charlie is round.[(((((((triple1) -> rule3)) -> rule2)) -> rule5))]