Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is green. Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is white. Gary is big. Gary is cold. Gary is green. Gary is white. If Erin is furry then Erin is white. All furry people are blue. If Gary is green then Gary is round. If Gary is cold then Gary is big. All big people are furry. White, green people are round.
Gary is not blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple4) -> rule2) OR ((((triple1) -> rule5)) -> rule2))] Bob is cold.[(triple3)] Bob is furry.[(triple4 OR ((triple1) -> rule5))] Bob is green.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7 OR ((triple9) -> rule2) OR ((((triple6) -> rule5)) -> rule2))] Erin is cold.[(triple8)] Erin is furry.[(triple9 OR ((triple6) -> rule5))] Erin is green.[(triple10)] Erin is white.[(triple11 OR ((triple9) -> rule1) OR ((((triple6) -> rule5)) -> rule1))] Gary is big.[(triple12 OR ((triple13) -> rule4))] Gary is cold.[(triple13)] Gary is green.[(triple14)] Gary is white.[(triple15)] @1: Erin is round.[(((triple11 triple10) -> rule6) OR ((((triple9) -> rule1) triple10) -> rule6) OR ((((((triple6) -> rule5)) -> rule1) triple10) -> rule6))] Gary is furry.[(((triple12) -> rule5) OR ((((triple13) -> rule4)) -> rule5))] Gary is round.[(((triple14) -> rule3) OR ((triple15 triple14) -> rule6))] @2: Gary is blue.[(((((triple12) -> rule5)) -> rule2) OR ((((((triple13) -> rule4)) -> rule5)) -> rule2))]