Anne is big. Anne is not cold. Anne is kind. Anne is red. Anne is rough. Anne is young. Fiona is cold. Fiona is young. Gary is not cold. Gary is kind. Gary is rough. Gary is not young. If Gary is cold and Gary is smart then Gary is not red. If Gary is not big then Gary is young. All red things are young. If something is big and cold then it is young. If something is big then it is not smart. All big things are kind. If something is big and not cold then it is kind. If something is cold and not young then it is rough.
Gary is not kind.
@0: Anne is big.[(triple1)] Anne is kind.[(triple3 OR ((triple1) -> rule6) OR ((triple1 triple2) -> rule7))] Anne is not cold.[(triple2)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple6 OR ((triple4) -> rule3))] Fiona is cold.[(triple7)] Fiona is young.[(triple8)] Gary is kind.[(triple10)] Gary is not cold.[(triple9)] Gary is not young.[(triple12)] Gary is rough.[(triple11)] @1: Anne is not smart.[(((triple1) -> rule5))]