Anne is furry. Anne is green. Anne is rough. Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is young. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is rough. Erin is young. Gary is blue. Gary is young. All blue, rough people are green. If someone is blue and not quiet then they are green. If someone is green and not quiet then they are blue. If someone is quiet and blue then they are big. All green people are big. All quiet people are young. All blue people are rough. If someone is big and not young then they are not furry.
Gary is not big.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3)] Charlie is blue.[(triple4)] Charlie is furry.[(triple5)] Charlie is quiet.[(triple6)] Charlie is rough.[(triple7 OR ((triple4) -> rule7))] Charlie is young.[(triple8 OR ((triple6) -> rule6))] Erin is big.[(triple9 OR ((triple12) -> rule5) OR ((((triple10 triple13) -> rule1)) -> rule5) OR ((((triple10 ((triple10) -> rule7)) -> rule1)) -> rule5))] Erin is blue.[(triple10)] Erin is furry.[(triple11)] Erin is green.[(triple12 OR ((triple10 triple13) -> rule1) OR ((triple10 ((triple10) -> rule7)) -> rule1))] Erin is rough.[(triple13 OR ((triple10) -> rule7))] Erin is young.[(triple14)] Gary is blue.[(triple15)] Gary is young.[(triple16)] @1: Anne is big.[(((triple2) -> rule5))] Charlie is big.[(((triple6 triple4) -> rule4) OR ((((triple4 triple7) -> rule1)) -> rule5) OR ((((triple4 ((triple4) -> rule7)) -> rule1)) -> rule5))] Charlie is green.[(((triple4 triple7) -> rule1) OR ((triple4 ((triple4) -> rule7)) -> rule1))] Gary is rough.[(((triple15) -> rule7))] @2: Gary is green.[(((triple15 ((triple15) -> rule7)) -> rule1))] @3: Gary is big.[(((((triple15 ((triple15) -> rule7)) -> rule1)) -> rule5))]