Erin is not cold. Erin is furry. Erin is not kind. Erin is not nice. Erin is quiet. Erin is white. Erin is young. Gary is not kind. Gary is nice. Gary is young. All white, kind people are nice. If someone is cold then they are nice. Quiet, kind people are nice. If Erin is furry and Erin is quiet then Erin is white. If someone is cold then they are young. All white, young people are not cold. If someone is nice and not quiet then they are not furry. If Gary is young then Gary is white.
Gary is not white.
@0: Erin is furry.[(triple2)] Erin is not cold.[(triple1 OR ((triple6 triple7) -> rule6) OR ((((triple2 triple5) -> rule4) triple7) -> rule6))] Erin is not kind.[(triple3)] Erin is not nice.[(triple4)] Erin is quiet.[(triple5)] Erin is white.[(triple6 OR ((triple2 triple5) -> rule4))] Erin is young.[(triple7)] Gary is nice.[(triple9)] Gary is not kind.[(triple8)] Gary is young.[(triple10)] @1: Gary is white.[(((triple10) -> rule8))] @2: Gary is not cold.[(((((triple10) -> rule8) triple10) -> rule6))]