Anne is big. Anne is green. Anne is quiet. Anne is white. Bob is not big. Bob is green. Bob is not quiet. Bob is white. Gary is not big. Gary is furry. If something is white and not big then it is not cold.
Anne is not nice.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Bob is green.[(triple6)] Bob is not big.[(triple5)] Bob is not quiet.[(triple7)] Bob is white.[(triple8)] Gary is furry.[(triple10)] Gary is not big.[(triple9)] @1: Bob is not cold.[(((triple8 triple5) -> rule1))]