Fiona is furry. Gary is quiet. Harry is smart. If someone is green and not cold then they are red. If Fiona is quiet and Fiona is big then Fiona is not smart. All smart people are not big.
Harry is furry.
@0: Fiona is furry.[(triple1)] Gary is quiet.[(triple2)] Harry is smart.[(triple3)] @1: Harry is not big.[(((triple3) -> rule3))]