Anne is smart. Bob is not big. Fiona is not furry. Harry is kind. All rough things are smart. If Fiona is not rough then Fiona is kind.
Anne is smart.
@0: Anne is smart.[(triple1)] Bob is not big.[(triple2)] Fiona is not furry.[(triple3)] Harry is kind.[(triple4)]