Erin is smart. Fiona is furry. Harry is green. All blue, rough things are not smart. If something is smart and white then it is rough. If Fiona is smart then Fiona is not furry. If something is rough then it is green. If Fiona is not furry then Fiona is big. If something is furry and not green then it is big.
Fiona is furry.
@0: Erin is smart.[(triple1)] Fiona is furry.[(triple2)] Harry is green.[(triple3)]