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