Erin is blue. Erin is cold. Erin is green. Erin is round. Gary is blue. Gary is cold. Gary is not furry. Gary is green. Gary is kind. Gary is round. If someone is kind and cold then they are blue. If someone is kind then they are blue. If someone is blue then they are kind. If someone is furry and not green then they are not round. If someone is green and not kind then they are round. If someone is cold and kind then they are round. If someone is round and not blue then they are white. All round people are white.
Gary is not furry.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is round.[(triple4 OR ((triple2 ((triple1) -> rule3)) -> rule6))] Gary is blue.[(triple5 OR ((triple9) -> rule2) OR ((triple9 triple6) -> rule1))] Gary is cold.[(triple6)] Gary is green.[(triple8)] Gary is kind.[(triple9 OR ((triple5) -> rule3))] Gary is not furry.[(triple7)] Gary is round.[(triple10 OR ((triple6 triple9) -> rule6) OR ((triple6 ((triple5) -> rule3)) -> rule6))] @1: Erin is kind.[(((triple1) -> rule3))] Erin is white.[(((triple4) -> rule8) OR ((((triple2 ((triple1) -> rule3)) -> rule6)) -> rule8))] Gary is white.[(((triple10) -> rule8) OR ((((triple6 triple9) -> rule6)) -> rule8) OR ((((triple6 ((triple5) -> rule3)) -> rule6)) -> rule8))]