Anne is not smart. Anne is young. Dave is white. Erin is furry. Erin is white. Gary is smart. Gary is white. Young things are red. All young things are red. White, red things are quiet. All furry things are quiet. White things are smart. If something is smart then it is big. All big, red things are furry. If something is smart then it is furry. Quiet things are young.
Gary is not big.
@0: Anne is not smart.[(triple1)] Anne is young.[(triple2)] Dave is white.[(triple3)] Erin is furry.[(triple4 OR ((((triple5) -> rule5)) -> rule8))] Erin is white.[(triple5)] Gary is smart.[(triple6 OR ((triple7) -> rule5))] Gary is white.[(triple7)] @1: Anne is red.[(((triple2) -> rule1) OR ((triple2) -> rule2))] Dave is smart.[(((triple3) -> rule5))] Erin is quiet.[(((triple4) -> rule4) OR ((((((triple5) -> rule5)) -> rule8)) -> rule4))] Erin is smart.[(((triple5) -> rule5))] Gary is big.[(((triple6) -> rule6) OR ((((triple7) -> rule5)) -> rule6))] Gary is furry.[(((triple6) -> rule8) OR ((((triple7) -> rule5)) -> rule8))] @2: Dave is big.[(((((triple3) -> rule5)) -> rule6))] Dave is furry.[(((((triple3) -> rule5)) -> rule8))] Erin is big.[(((((triple5) -> rule5)) -> rule6))] Erin is young.[(((((triple4) -> rule4)) -> rule9) OR ((((((((triple5) -> rule5)) -> rule8)) -> rule4)) -> rule9))] Gary is quiet.[(((((triple6) -> rule8)) -> rule4) OR ((((((triple7) -> rule5)) -> rule8)) -> rule4))] @3: Dave is quiet.[(((((((triple3) -> rule5)) -> rule8)) -> rule4))] Erin is red.[(((((((triple4) -> rule4)) -> rule9)) -> rule1) OR ((((((triple4) -> rule4)) -> rule9)) -> rule2) OR ((((((((((triple5) -> rule5)) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((((triple5) -> rule5)) -> rule8)) -> rule4)) -> rule9)) -> rule2))] Gary is young.[(((((((triple6) -> rule8)) -> rule4)) -> rule9) OR ((((((((triple7) -> rule5)) -> rule8)) -> rule4)) -> rule9))] @4: Dave is young.[(((((((((triple3) -> rule5)) -> rule8)) -> rule4)) -> rule9))] Gary is red.[(((((((((triple6) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple6) -> rule8)) -> rule4)) -> rule9)) -> rule2) OR ((((((((((triple7) -> rule5)) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((((triple7) -> rule5)) -> rule8)) -> rule4)) -> rule9)) -> rule2))] @5: Dave is red.[(((((((((((triple3) -> rule5)) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((((triple3) -> rule5)) -> rule8)) -> rule4)) -> rule9)) -> rule2))]