Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is red. Gary is big. Gary is furry. Gary is green. Gary is red. If someone is green then they are kind. All green, red people are furry. If someone is furry and kind then they are blue. If Gary is big and Gary is blue then Gary is white. All furry, kind people are red. Red people are big.
Gary is not kind.
@0: Erin is big.[(triple1 OR ((triple6) -> rule6) OR ((((triple3 triple5) -> rule5)) -> rule6) OR ((((triple3 ((triple4) -> rule1)) -> rule5)) -> rule6))] Erin is blue.[(triple2 OR ((triple3 triple5) -> rule3) OR ((triple3 ((triple4) -> rule1)) -> rule3) OR ((((triple4 triple6) -> rule2) triple5) -> rule3) OR ((((triple4 triple6) -> rule2) ((triple4) -> rule1)) -> rule3))] Erin is furry.[(triple3 OR ((triple4 triple6) -> rule2))] Erin is green.[(triple4)] Erin is kind.[(triple5 OR ((triple4) -> rule1))] Erin is red.[(triple6 OR ((triple3 triple5) -> rule5) OR ((triple3 ((triple4) -> rule1)) -> rule5))] Gary is big.[(triple7 OR ((triple10) -> rule6) OR ((((triple8 ((triple9) -> rule1)) -> rule5)) -> rule6))] Gary is furry.[(triple8 OR ((triple9 triple10) -> rule2))] Gary is green.[(triple9)] Gary is red.[(triple10 OR ((triple8 ((triple9) -> rule1)) -> rule5))] @1: Gary is kind.[(((triple9) -> rule1))] @2: Gary is blue.[(((triple8 ((triple9) -> rule1)) -> rule3) OR ((((triple9 triple10) -> rule2) ((triple9) -> rule1)) -> rule3))] @3: Gary is white.[(((triple7 ((triple8 ((triple9) -> rule1)) -> rule3)) -> rule4) OR ((triple7 ((((triple9 triple10) -> rule2) ((triple9) -> rule1)) -> rule3)) -> rule4) OR ((((triple10) -> rule6) ((triple8 ((triple9) -> rule1)) -> rule3)) -> rule4) OR ((((triple10) -> rule6) ((((triple9 triple10) -> rule2) ((triple9) -> rule1)) -> rule3)) -> rule4) OR ((((((triple8 ((triple9) -> rule1)) -> rule5)) -> rule6) ((triple8 ((triple9) -> rule1)) -> rule3)) -> rule4) OR ((((((triple8 ((triple9) -> rule1)) -> rule5)) -> rule6) ((((triple9 triple10) -> rule2) ((triple9) -> rule1)) -> rule3)) -> rule4))]