Anne is quiet. Anne is white. Anne is young. Charlie is not green. Charlie is not rough. Charlie is young. Dave is green. Dave is quiet. Dave is rough. Gary is quiet. Gary is red. Gary is rough. If someone is quiet and young then they are furry. If someone is white then they are young. All rough people are white.
Dave is not green.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3 OR ((triple2) -> rule2))] Charlie is not green.[(triple4)] Charlie is not rough.[(triple5)] Charlie is young.[(triple6)] Dave is green.[(triple7)] Dave is quiet.[(triple8)] Dave is rough.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] @1: Anne is furry.[(((triple1 triple3) -> rule1) OR ((triple1 ((triple2) -> rule2)) -> rule1))] Dave is white.[(((triple9) -> rule3))] Gary is white.[(((triple12) -> rule3))] @2: Dave is young.[(((((triple9) -> rule3)) -> rule2))] Gary is young.[(((((triple12) -> rule3)) -> rule2))] @3: Dave is furry.[(((triple8 ((((triple9) -> rule3)) -> rule2)) -> rule1))] Gary is furry.[(((triple10 ((((triple12) -> rule3)) -> rule2)) -> rule1))]