Anne is furry. Anne is kind. Anne is quiet. Anne is young. Bob is nice. Bob is rough. Bob is young. Dave is furry. Erin is nice. Erin is quiet. Erin is white. Erin is young. If something is furry and rough then it is young. Young things are rough. If Anne is young and Anne is white then Anne is kind. All furry things are white. All young things are rough. All white things are quiet.
Dave is nice.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((triple4 ((triple1) -> rule4)) -> rule3))] Anne is quiet.[(triple3 OR ((((triple1) -> rule4)) -> rule6))] Anne is young.[(triple4)] Bob is nice.[(triple5)] Bob is rough.[(triple6 OR ((triple7) -> rule2) OR ((triple7) -> rule5))] Bob is young.[(triple7)] Dave is furry.[(triple8)] Erin is nice.[(triple9)] Erin is quiet.[(triple10 OR ((triple11) -> rule6))] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Anne is rough.[(((triple4) -> rule2) OR ((triple4) -> rule5))] Anne is white.[(((triple1) -> rule4))] Dave is white.[(((triple8) -> rule4))] Erin is rough.[(((triple12) -> rule2) OR ((triple12) -> rule5))] @2: Dave is quiet.[(((((triple8) -> rule4)) -> rule6))]