Anne is big. Fiona is white. Gary is big. Harry is big. If something is white then it is blue. Young, blue things are kind.
Harry is not big.
@0: Anne is big.[(triple1)] Fiona is white.[(triple2)] Gary is big.[(triple3)] Harry is big.[(triple4)] @1: Fiona is blue.[(((triple2) -> rule1))]