Anne is furry. Anne is red. Dave is green. Dave is red. Dave is not rough. Dave is round. Dave is young. Erin is quiet. Erin is round. Erin is young. If someone is green and red then they are quiet. If someone is red then they are green.
Anne is not quiet.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Dave is green.[(triple3 OR ((triple4) -> rule2))] Dave is not rough.[(triple5)] Dave is red.[(triple4)] Dave is round.[(triple6)] Dave is young.[(triple7)] Erin is quiet.[(triple8)] Erin is round.[(triple9)] Erin is young.[(triple10)] @1: Anne is green.[(((triple2) -> rule2))] Dave is quiet.[(((triple3 triple4) -> rule1) OR ((((triple4) -> rule2) triple4) -> rule1))] @2: Anne is quiet.[(((((triple2) -> rule2) triple2) -> rule1))]