Anne is not big. Anne is cold. Anne is not green. Anne is kind. Anne is young. Fiona is not big. Fiona is not green. Fiona is kind. Fiona is not quiet. Fiona is rough. Fiona is young. Gary is not big. Gary is not cold. Gary is quiet. Gary is rough. Gary is young. If Gary is rough then Gary is kind. If Gary is cold and Gary is not quiet then Gary is big. All cold things are rough.
Anne is kind.
@0: Anne is cold.[(triple2)] Anne is kind.[(triple4)] Anne is not big.[(triple1)] Anne is not green.[(triple3)] Anne is young.[(triple5)] Fiona is kind.[(triple8)] Fiona is not big.[(triple6)] Fiona is not green.[(triple7)] Fiona is not quiet.[(triple9)] Fiona is rough.[(triple10)] Fiona is young.[(triple11)] Gary is not big.[(triple12)] Gary is not cold.[(triple13)] Gary is quiet.[(triple14)] Gary is rough.[(triple15)] Gary is young.[(triple16)] @1: Anne is rough.[(((triple2) -> rule3))] Gary is kind.[(((triple15) -> rule1))]