Anne is not big. Anne is cold. Anne is not kind. Anne is red. Anne is round. Anne is young. Gary is cold. Gary is red. Gary is round. Gary is smart. If Gary is red then Gary is not big. All young people are not smart.
Gary is not young.
@0: Anne is cold.[(triple2)] Anne is not big.[(triple1)] Anne is not kind.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Gary is cold.[(triple7)] Gary is red.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] @1: Anne is not smart.[(((triple6) -> rule2))] Gary is not big.[(((triple8) -> rule1))]