Anne is big. Anne is cold. Anne is green. Bob is cold. Charlie is green. Charlie is quiet. Harry is big. All rough, quiet people are cold. All big people are white.
Bob is quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Bob is cold.[(triple4)] Charlie is green.[(triple5)] Charlie is quiet.[(triple6)] Harry is big.[(triple7)] @1: Anne is white.[(((triple1) -> rule2))] Harry is white.[(((triple7) -> rule2))]