Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is red. Dave is white. Dave is young. Erin is not furry. Erin is red. Erin is not white. Fiona is furry. Fiona is not green. Fiona is not red. Gary is blue. Gary is white. Gary is not young. If something is red and not white then it is not furry. If something is white and not blue then it is not furry. If something is red and not young then it is not furry. Cold, red things are green. If Fiona is not white then Fiona is green. If Dave is furry and Dave is not white then Dave is green. Cold, blue things are red. If Gary is not young then Gary is cold.
Fiona is not cold.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4 OR ((triple2 triple5) -> rule4) OR ((triple2 ((triple2 triple1) -> rule7)) -> rule4))] Dave is red.[(triple5 OR ((triple2 triple1) -> rule7))] Dave is white.[(triple6)] Dave is young.[(triple7)] Erin is not furry.[(triple8 OR ((triple9 triple10) -> rule1))] Erin is not white.[(triple10)] Erin is red.[(triple9)] Fiona is furry.[(triple11)] Fiona is not green.[(triple12)] Fiona is not red.[(triple13)] Gary is blue.[(triple14)] Gary is not young.[(triple16)] Gary is white.[(triple15)] @1: Gary is cold.[(((triple16) -> rule8))] @2: Gary is red.[(((((triple16) -> rule8) triple14) -> rule7))] @3: Gary is green.[(((((triple16) -> rule8) ((((triple16) -> rule8) triple14) -> rule7)) -> rule4))] Gary is not furry.[(((((((triple16) -> rule8) triple14) -> rule7) triple16) -> rule3))]