Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is round. Dave is smart. Dave is white. Erin is cold. Erin is furry. Erin is round. Erin is white. Gary is cold. Gary is green. Gary is smart. Harry is cold. Harry is smart. All smart things are white.
Gary is nice.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7 OR ((triple6) -> rule1))] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is round.[(triple10)] Erin is white.[(triple11)] Gary is cold.[(triple12)] Gary is green.[(triple13)] Gary is smart.[(triple14)] Harry is cold.[(triple15)] Harry is smart.[(triple16)] @1: Gary is white.[(((triple14) -> rule1))] Harry is white.[(((triple16) -> rule1))]