Dave is cold. Dave is green. Dave is kind. Dave is not red. Dave is rough. Dave is not white. Erin is furry. Erin is red. Erin is rough. Erin is white. Gary is cold. Gary is kind. Gary is red. Gary is rough. Gary is not white. If Erin is furry then Erin is cold. All green things are furry. Green things are cold. If something is green then it is cold. All rough, white things are kind. All furry, kind things are rough. If Gary is red then Gary is not green. If Dave is red then Dave is cold.
Gary is not furry.
@0: Dave is cold.[(triple1 OR ((triple2) -> rule3) OR ((triple2) -> rule4))] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is not red.[(triple4)] Dave is not white.[(triple6)] Dave is rough.[(triple5 OR ((((triple2) -> rule2) triple3) -> rule6))] Erin is furry.[(triple7)] Erin is red.[(triple8)] Erin is rough.[(triple9)] Erin is white.[(triple10)] Gary is cold.[(triple11)] Gary is kind.[(triple12)] Gary is not white.[(triple15)] Gary is red.[(triple13)] Gary is rough.[(triple14)] @1: Dave is furry.[(((triple2) -> rule2))] Erin is cold.[(((triple7) -> rule1))] Erin is kind.[(((triple9 triple10) -> rule5))] Gary is not green.[(((triple13) -> rule7))]