Anne is smart. Bob is nice. Fiona is nice. Gary is young. If Gary is smart and Gary is rough then Gary is quiet. If Gary is not young then Gary is quiet. All rough people are smart. If someone is rough and quiet then they are smart. If someone is red then they are not smart. If someone is young and quiet then they are rough.
Anne is smart.
@0: Anne is smart.[(triple1)] Bob is nice.[(triple2)] Fiona is nice.[(triple3)] Gary is young.[(triple4)]