Anne is not kind. Dave is big. Fiona is not round. Harry is nice. If something is big then it is smart.
Fiona is round.
@0: Anne is not kind.[(triple1)] Dave is big.[(triple2)] Fiona is not round.[(triple3)] Harry is nice.[(triple4)] @1: Dave is smart.[(((triple2) -> rule1))]