Anne is big. Anne is cold. Anne is not green. Anne is not kind. Anne is nice. Anne is round. Anne is white. Gary is not big. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is round. Gary is not white. If someone is nice and big then they are cold.
Anne is not round.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple5 triple1) -> rule1))] Anne is nice.[(triple5)] Anne is not green.[(triple3)] Anne is not kind.[(triple4)] Anne is round.[(triple6)] Anne is white.[(triple7)] Gary is cold.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is not big.[(triple8)] Gary is not white.[(triple14)] Gary is round.[(triple13)]