Fiona is cold. Fiona is young. Gary is cold. Harry is nice. Harry is not smart. Harry is white. Harry is young. If someone is smart then they are white. All smart people are not white. If Fiona is young then Fiona is nice. All round people are young. If Harry is smart then Harry is not round. If Gary is nice then Gary is red. If someone is young and not white then they are not nice. If someone is red and not young then they are nice.
Harry is not young.
@0: Fiona is cold.[(triple1)] Fiona is young.[(triple2)] Gary is cold.[(triple3)] Harry is nice.[(triple4)] Harry is not smart.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Fiona is nice.[(((triple2) -> rule3))]