Anne is blue. Anne is quiet. Anne is rough. Dave is not big. Dave is furry. Dave is kind. Erin is big. Erin is not blue. Erin is furry. Erin is not kind. Erin is quiet. Erin is young. If Dave is young and Dave is rough then Dave is quiet. If something is furry and not big then it is young. Furry, young things are quiet.
Dave is quiet.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Dave is furry.[(triple5)] Dave is kind.[(triple6)] Dave is not big.[(triple4)] Erin is big.[(triple7)] Erin is furry.[(triple9)] Erin is not blue.[(triple8)] Erin is not kind.[(triple10)] Erin is quiet.[(triple11 OR ((triple9 triple12) -> rule3))] Erin is young.[(triple12)] @1: Dave is young.[(((triple5 triple4) -> rule2))] @2: Dave is quiet.[(((triple5 ((triple5 triple4) -> rule2)) -> rule3))]