Anne is big. Anne is cold. Anne is kind. Anne is quiet. Anne is round. Gary is not big. Gary is cold. Gary is not quiet. Gary is round. Gary is young. If Anne is rough then Anne is big. Quiet people are big.
Gary is kind.
@0: Anne is big.[(triple1 OR ((triple4) -> rule2))] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Gary is cold.[(triple7)] Gary is not big.[(triple6)] Gary is not quiet.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10)]