Fiona is smart. Gary is not furry. Harry is not white. All rough people are furry. If someone is big then they are white. If someone is white and not green then they are red. If someone is big then they are red. If someone is green and red then they are not rough. If Harry is rough and Harry is red then Harry is white. If Gary is white and Gary is not big then Gary is rough. If Fiona is furry then Fiona is not rough.
Fiona is not smart.
@0: Fiona is smart.[(triple1)] Gary is not furry.[(triple2)] Harry is not white.[(triple3)]