Anne is cold. Anne is green. Anne is red. Anne is round. Anne is not white. Erin is cold. Erin is white. Gary is green. Gary is quiet. Gary is round. Gary is white. Harry is cold. Harry is not green. Harry is quiet. Harry is round. If Anne is red then Anne is cold.
Erin is round.
@0: Anne is cold.[(triple1 OR ((triple3) -> rule1))] Anne is green.[(triple2)] Anne is not white.[(triple5)] Anne is red.[(triple3)] Anne is round.[(triple4)] Erin is cold.[(triple6)] Erin is white.[(triple7)] Gary is green.[(triple8)] Gary is quiet.[(triple9)] Gary is round.[(triple10)] Gary is white.[(triple11)] Harry is cold.[(triple12)] Harry is not green.[(triple13)] Harry is quiet.[(triple14)] Harry is round.[(triple15)]