Anne is big. Dave is red. Fiona is nice. Harry is blue. If someone is blue then they are smart.
Dave is red.
@0: Anne is big.[(triple1)] Dave is red.[(triple2)] Fiona is nice.[(triple3)] Harry is blue.[(triple4)] @1: Harry is smart.[(((triple4) -> rule1))]