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