Dave is blue. Dave is cold. Dave is red. Erin is cold. Erin is red. Erin is round. Erin is white. Gary is big. Gary is nice. Harry is white. If Harry is white then Harry is red.
Harry is not white.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3)] Erin is cold.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7)] Gary is big.[(triple8)] Gary is nice.[(triple9)] Harry is white.[(triple10)] @1: Harry is red.[(((triple10) -> rule1))]