Anne is furry. Dave is big. Dave is cold. Dave is furry. Erin is big. Erin is furry. Erin is quiet. If something is furry then it is rough. If Anne is rough then Anne is not big. If something is blue and not rough then it is cold. All blue things are cold. All furry, quiet things are cold. All rough, big things are quiet. All green, cold things are quiet. Quiet things are green.
Anne is not quiet.
@0: Anne is furry.[(triple1)] Dave is big.[(triple2)] Dave is cold.[(triple3 OR ((triple4 ((((triple4) -> rule1) triple2) -> rule6)) -> rule5))] Dave is furry.[(triple4)] Erin is big.[(triple5)] Erin is furry.[(triple6)] Erin is quiet.[(triple7 OR ((((triple6) -> rule1) triple5) -> rule6))] @1: Anne is rough.[(((triple1) -> rule1))] Dave is rough.[(((triple4) -> rule1))] Erin is cold.[(((triple6 triple7) -> rule5) OR ((triple6 ((((triple6) -> rule1) triple5) -> rule6)) -> rule5))] Erin is green.[(((triple7) -> rule8) OR ((((((triple6) -> rule1) triple5) -> rule6)) -> rule8))] Erin is rough.[(((triple6) -> rule1))] @2: Anne is not big.[(((((triple1) -> rule1)) -> rule2))] Dave is quiet.[(((((triple4) -> rule1) triple2) -> rule6))] @3: Dave is green.[(((((((triple4) -> rule1) triple2) -> rule6)) -> rule8))]