Bob is red. Bob is smart. Bob is white. Dave is smart. Erin is cold. Erin is red. Erin is white. Gary is furry. Gary is smart. Gary is white. All white, kind people are cold. Red people are smart.
Dave is not cold.
@0: Bob is red.[(triple1)] Bob is smart.[(triple2 OR ((triple1) -> rule2))] Bob is white.[(triple3)] Dave is smart.[(triple4)] Erin is cold.[(triple5)] Erin is red.[(triple6)] Erin is white.[(triple7)] Gary is furry.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Erin is smart.[(((triple6) -> rule2))]