Anne is big. Anne is not kind. Anne is smart. Anne is young. Charlie is not big. Charlie is blue. Charlie is red. Charlie is not rough. Charlie is young. Fiona is blue. Fiona is red. Fiona is rough. Gary is red. Gary is rough. Gary is smart. Gary is not young. If Charlie is rough and Charlie is not young then Charlie is red. Smart, rough people are kind. If Anne is not smart then Anne is blue.
Charlie is not young.
@0: Anne is big.[(triple1)] Anne is not kind.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Charlie is blue.[(triple6)] Charlie is not big.[(triple5)] Charlie is not rough.[(triple8)] Charlie is red.[(triple7)] Charlie is young.[(triple9)] Fiona is blue.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12)] Gary is not young.[(triple16)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is smart.[(triple15)] @1: Gary is kind.[(((triple15 triple14) -> rule2))]