Anne is white. Fiona is white. Harry is nice. All blue people are quiet. If someone is blue then they are not nice. Blue people are nice. If someone is blue then they are smart. White people are not big. Quiet people are big.
Anne is white.
@0: Anne is white.[(triple1)] Fiona is white.[(triple2)] Harry is nice.[(triple3)] @1: Anne is not big.[(((triple1) -> rule5))] Fiona is not big.[(((triple2) -> rule5))]