Anne is big. Anne is cold. Anne is quiet. Anne is round. Anne is young. Gary is cold. Gary is nice. Gary is quiet. Gary is young. Harry is big. Harry is cold. Harry is nice. Harry is quiet. Harry is round. Harry is white. Harry is young. All white people are cold.
Gary is not big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5)] Gary is cold.[(triple6)] Gary is nice.[(triple7)] Gary is quiet.[(triple8)] Gary is young.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11 OR ((triple15) -> rule1))] Harry is nice.[(triple12)] Harry is quiet.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)]