Anne is smart. Dave is not green. Fiona is green. Harry is round. If someone is round and white then they are green. All smart, round people are green. All cold, kind people are white. All furry, white people are round. All green people are furry. If Anne is smart then Anne is round.
Harry is not round.
@0: Anne is smart.[(triple1)] Dave is not green.[(triple2)] Fiona is green.[(triple3)] Harry is round.[(triple4)] @1: Anne is round.[(((triple1) -> rule6))] Fiona is furry.[(((triple3) -> rule5))] @2: Anne is green.[(((triple1 ((triple1) -> rule6)) -> rule2))] @3: Anne is furry.[(((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule5))]