Charlie is not quiet. Erin is big. Erin is white. Erin is young. Gary is young. Harry is furry. Harry is nice. White, furry people are big. All nice people are big. If someone is quiet and furry then they are white. If someone is young then they are quiet. All big, furry people are round. If someone is quiet then they are furry. If Erin is round then Erin is quiet.
Gary is not big.
@0: Charlie is not quiet.[(triple1)] Erin is big.[(triple2 OR ((triple3 ((((triple4) -> rule4)) -> rule6)) -> rule1) OR ((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule6)) -> rule3) ((((triple4) -> rule4)) -> rule6)) -> rule1))] Erin is white.[(triple3 OR ((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule6)) -> rule3))] Erin is young.[(triple4)] Gary is young.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7)] @1: Erin is quiet.[(((triple4) -> rule4))] Gary is quiet.[(((triple5) -> rule4))] Harry is big.[(((triple7) -> rule2))] @2: Erin is furry.[(((((triple4) -> rule4)) -> rule6))] Gary is furry.[(((((triple5) -> rule4)) -> rule6))] Harry is round.[(((((triple7) -> rule2) triple6) -> rule5))] @3: Erin is round.[(((triple2 ((((triple4) -> rule4)) -> rule6)) -> rule5) OR ((((triple3 ((((triple4) -> rule4)) -> rule6)) -> rule1) ((((triple4) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule6)) -> rule3) ((((triple4) -> rule4)) -> rule6)) -> rule1) ((((triple4) -> rule4)) -> rule6)) -> rule5))] Gary is white.[(((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule6)) -> rule3))] @4: Gary is big.[(((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule6)) -> rule3) ((((triple5) -> rule4)) -> rule6)) -> rule1))] @5: Gary is round.[(((((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule6)) -> rule3) ((((triple5) -> rule4)) -> rule6)) -> rule1) ((((triple5) -> rule4)) -> rule6)) -> rule5))]