Anne is rough. Bob is nice. Fiona is rough. If Anne is cold and Anne is furry then Anne is blue. All round people are smart. Rough people are smart. Round people are furry. Round people are rough. Blue, round people are smart.
Anne is not blue.
@0: Anne is rough.[(triple1)] Bob is nice.[(triple2)] Fiona is rough.[(triple3)] @1: Anne is smart.[(((triple1) -> rule3))] Fiona is smart.[(((triple3) -> rule3))]