Anne is green. Anne is red. Anne is rough. Anne is white. Anne is young. Dave is furry. Dave is quiet. Dave is red. Dave is white. Dave is young. Fiona is quiet. Fiona is white. Fiona is young. Gary is green. Gary is young. All white things are furry. If something is young then it is white.
Dave is young.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4 OR ((triple5) -> rule2))] Anne is young.[(triple5)] Dave is furry.[(triple6 OR ((triple9) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is white.[(triple9 OR ((triple10) -> rule2))] Dave is young.[(triple10)] Fiona is quiet.[(triple11)] Fiona is white.[(triple12 OR ((triple13) -> rule2))] Fiona is young.[(triple13)] Gary is green.[(triple14)] Gary is young.[(triple15)] @1: Anne is furry.[(((triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Fiona is furry.[(((triple12) -> rule1) OR ((((triple13) -> rule2)) -> rule1))] Gary is white.[(((triple15) -> rule2))] @2: Gary is furry.[(((((triple15) -> rule2)) -> rule1))]