Anne is big. Anne is blue. Anne is not furry. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Charlie is big. Charlie is blue. Fiona is big. Fiona is not blue. Fiona is kind. Fiona is rough. Gary is big. Gary is not furry. Rough things are green. Furry things are not green. If Fiona is not furry then Fiona is quiet. If something is rough and not quiet then it is big. If something is green and not big then it is not kind. All furry things are kind.
Gary is rough.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple4 OR ((triple7) -> rule1))] Anne is kind.[(triple5)] Anne is not furry.[(triple3)] Anne is quiet.[(triple6)] Anne is rough.[(triple7)] Charlie is big.[(triple8)] Charlie is blue.[(triple9)] Fiona is big.[(triple10)] Fiona is kind.[(triple12)] Fiona is not blue.[(triple11)] Fiona is rough.[(triple13)] Gary is big.[(triple14)] Gary is not furry.[(triple15)] @1: Fiona is green.[(((triple13) -> rule1))]