Anne is cold. Anne is rough. Dave is cold. Dave is kind. Dave is quiet. Erin is round. Harry is furry. Cold people are white. White people are round. If someone is cold then they are furry.
Erin is not furry.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Erin is round.[(triple6)] Harry is furry.[(triple7)] @1: Anne is furry.[(((triple1) -> rule3))] Anne is white.[(((triple1) -> rule1))] Dave is furry.[(((triple3) -> rule3))] Dave is white.[(((triple3) -> rule1))] @2: Anne is round.[(((((triple1) -> rule1)) -> rule2))] Dave is round.[(((((triple3) -> rule1)) -> rule2))]