Anne is smart. Dave is rough. Erin is red. Harry is round. If Erin is kind and Erin is smart then Erin is round. Smart things are red.
Erin is not round.
@0: Anne is smart.[(triple1)] Dave is rough.[(triple2)] Erin is red.[(triple3)] Harry is round.[(triple4)] @1: Anne is red.[(((triple1) -> rule2))]