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