Anne is round. Bob is round. Charlie is red. Dave is red. Blue, red things are round. All red, furry things are round. All smart things are blue. If Dave is cold then Dave is round. If something is red then it is smart. If Charlie is nice then Charlie is cold.
Dave is not furry.
@0: Anne is round.[(triple1)] Bob is round.[(triple2)] Charlie is red.[(triple3)] Dave is red.[(triple4)] @1: Charlie is smart.[(((triple3) -> rule5))] Dave is smart.[(((triple4) -> rule5))] @2: Charlie is blue.[(((((triple3) -> rule5)) -> rule3))] Dave is blue.[(((((triple4) -> rule5)) -> rule3))] @3: Charlie is round.[(((((((triple3) -> rule5)) -> rule3) triple3) -> rule1))] Dave is round.[(((((((triple4) -> rule5)) -> rule3) triple4) -> rule1))]