Dave is big. Dave is green. Dave is round. Dave is not white. Erin is big. Erin is cold. Erin is red. Erin is not white. Gary is not big. Gary is cold. Harry is big. Harry is white. If Harry is round and Harry is big then Harry is cold. Big, green things are red.
Erin is not red.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is not white.[(triple4)] Dave is round.[(triple3)] Erin is big.[(triple5)] Erin is cold.[(triple6)] Erin is not white.[(triple8)] Erin is red.[(triple7)] Gary is cold.[(triple10)] Gary is not big.[(triple9)] Harry is big.[(triple11)] Harry is white.[(triple12)] @1: Dave is red.[(((triple1 triple2) -> rule2))]