Anne is cold. Anne is nice. Anne is smart. Anne is young. Dave is rough. Fiona is blue. Fiona is red. Fiona is rough. Fiona is smart. Fiona is not young. Gary is blue. Gary is not cold. Gary is not nice. Gary is rough. Gary is smart. Gary is not young. If Anne is smart then Anne is young. If someone is rough and red then they are nice. All cold, blue people are red.
Gary is not red.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4 OR ((triple3) -> rule1))] Dave is rough.[(triple5)] Fiona is blue.[(triple6)] Fiona is not young.[(triple10)] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Fiona is smart.[(triple9)] Gary is blue.[(triple11)] Gary is not cold.[(triple12)] Gary is not nice.[(triple13)] Gary is not young.[(triple16)] Gary is rough.[(triple14)] Gary is smart.[(triple15)] @1: Fiona is nice.[(((triple8 triple7) -> rule2))]