Fiona is green. Fiona is kind. Fiona is not nice. Fiona is rough. Fiona is not round. Fiona is smart. Fiona is young. Gary is green. Gary is nice. Gary is smart. If Gary is rough then Gary is green. All smart, rough people are not round. If someone is nice then they are young. If someone is round then they are smart. If someone is nice and not young then they are kind. Round people are kind.
Gary is not kind.
@0: Fiona is green.[(triple1)] Fiona is kind.[(triple2)] Fiona is not nice.[(triple3)] Fiona is not round.[(triple5 OR ((triple6 triple4) -> rule2))] Fiona is rough.[(triple4)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple9)] Gary is smart.[(triple10)] @1: Gary is young.[(((triple9) -> rule3))]