Anne is smart. Fiona is white. Fiona is young. Harry is big. Harry is red. Harry is rough. Harry is smart. If Fiona is smart then Fiona is blue. Smart things are white.
Fiona is young.
@0: Anne is smart.[(triple1)] Fiona is white.[(triple2)] Fiona is young.[(triple3)] Harry is big.[(triple4)] Harry is red.[(triple5)] Harry is rough.[(triple6)] Harry is smart.[(triple7)] @1: Anne is white.[(((triple1) -> rule2))] Harry is white.[(((triple7) -> rule2))]