Anne is cold. Dave is kind. Fiona is cold. All furry people are quiet. Cold, big people are furry. If Fiona is furry and Fiona is cold then Fiona is big. If someone is cold then they are big. Big, round people are quiet. All quiet people are big.
Dave is young.
@0: Anne is cold.[(triple1)] Dave is kind.[(triple2)] Fiona is cold.[(triple3)] @1: Anne is big.[(((triple1) -> rule4))] Fiona is big.[(((triple3) -> rule4))] @2: Anne is furry.[(((triple1 ((triple1) -> rule4)) -> rule2))] Fiona is furry.[(((triple3 ((triple3) -> rule4)) -> rule2))] @3: Anne is quiet.[(((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule1))] Fiona is quiet.[(((((triple3 ((triple3) -> rule4)) -> rule2)) -> rule1))]