Anne is blue. Dave is rough. Erin is blue. Fiona is smart. Blue people are not round. All rough, smart people are not cold. If Anne is blue and Anne is not round then Anne is smart.
Anne is cold.
@0: Anne is blue.[(triple1)] Dave is rough.[(triple2)] Erin is blue.[(triple3)] Fiona is smart.[(triple4)] @1: Anne is not round.[(((triple1) -> rule1))] Erin is not round.[(((triple3) -> rule1))] @2: Anne is smart.[(((triple1 ((triple1) -> rule1)) -> rule3))]