Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Anne is white. Dave is round. Fiona is round. Fiona is white. Gary is quiet. Gary is rough. Gary is round. Gary is smart. Gary is white. Gary is young. Young things are round. All white things are nice.
Dave is not nice.
@0: Anne is nice.[(triple1 OR ((triple6) -> rule2))] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Dave is round.[(triple7)] Fiona is round.[(triple8)] Fiona is white.[(triple9)] Gary is quiet.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12 OR ((triple15) -> rule1))] Gary is smart.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Fiona is nice.[(((triple9) -> rule2))] Gary is nice.[(((triple14) -> rule2))]