Anne is nice. Anne is rough. Bob is white. Fiona is nice. Fiona is rough. Fiona is white. Gary is quiet. Gary is rough. Gary is white. Gary is young. If Gary is quiet then Gary is white. If Gary is young then Gary is furry.
Anne is not white.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Bob is white.[(triple3)] Fiona is nice.[(triple4)] Fiona is rough.[(triple5)] Fiona is white.[(triple6)] Gary is quiet.[(triple7)] Gary is rough.[(triple8)] Gary is white.[(triple9 OR ((triple7) -> rule1))] Gary is young.[(triple10)] @1: Gary is furry.[(((triple10) -> rule2))]