Anne is not big. Anne is cold. Dave is quiet. Dave is round. Harry is cold. Harry is furry. Harry is quiet. Harry is not rough. Harry is not round. Harry is white. Cold people are furry.
Anne is not big.
@0: Anne is cold.[(triple2)] Anne is not big.[(triple1)] Dave is quiet.[(triple3)] Dave is round.[(triple4)] Harry is cold.[(triple5)] Harry is furry.[(triple6 OR ((triple5) -> rule1))] Harry is not rough.[(triple8)] Harry is not round.[(triple9)] Harry is quiet.[(triple7)] Harry is white.[(triple10)] @1: Anne is furry.[(((triple2) -> rule1))]