Anne is rough. Anne is round. Anne is white. Bob is big. Bob is not white. Gary is quiet. Gary is white. Rough people are kind. If Gary is quiet then Gary is cold.
Anne is not white.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Bob is big.[(triple4)] Bob is not white.[(triple5)] Gary is quiet.[(triple6)] Gary is white.[(triple7)] @1: Anne is kind.[(((triple1) -> rule1))] Gary is cold.[(((triple6) -> rule2))]