Dave is green. Dave is white. Erin is cold. Erin is green. Erin is not nice. Erin is red. Erin is white. Fiona is green. Fiona is red. Gary is big. Gary is cold. Gary is furry. Gary is not nice. Gary is not red. Gary is not white. If something is green then it is white. All green things are white. Red things are green.
Gary is not green.
@0: Dave is green.[(triple1)] Dave is white.[(triple2 OR ((triple1) -> rule1) OR ((triple1) -> rule2))] Erin is cold.[(triple3)] Erin is green.[(triple4 OR ((triple6) -> rule3))] Erin is not nice.[(triple5)] Erin is red.[(triple6)] Erin is white.[(triple7 OR ((triple4) -> rule1) OR ((triple4) -> rule2) OR ((((triple6) -> rule3)) -> rule1) OR ((((triple6) -> rule3)) -> rule2))] Fiona is green.[(triple8 OR ((triple9) -> rule3))] Fiona is red.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11)] Gary is furry.[(triple12)] Gary is not nice.[(triple13)] Gary is not red.[(triple14)] Gary is not white.[(triple15)] @1: Fiona is white.[(((triple8) -> rule1) OR ((triple8) -> rule2) OR ((((triple9) -> rule3)) -> rule1) OR ((((triple9) -> rule3)) -> rule2))]