Bob is not cold. Bob is green. Bob is not red. Bob is round. Bob is white. Dave is cold. Dave is white. Erin is red. Erin is round. Erin is white. Gary is round. Gary is not white. If something is blue and not green then it is not red. If something is round then it is not blue. If something is furry and not green then it is blue. If Bob is white and Bob is not round then Bob is not furry. If Dave is furry and Dave is cold then Dave is white. Blue things are white. All furry things are white. If Dave is not furry then Dave is cold.
Erin is not white.
@0: Bob is green.[(triple2)] Bob is not cold.[(triple1)] Bob is not red.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Dave is cold.[(triple6)] Dave is white.[(triple7)] Erin is red.[(triple8)] Erin is round.[(triple9)] Erin is white.[(triple10)] Gary is not white.[(triple12)] Gary is round.[(triple11)] @1: Bob is not blue.[(((triple4) -> rule2))] Erin is not blue.[(((triple9) -> rule2))] Gary is not blue.[(((triple11) -> rule2))]