Fiona is big. Fiona is white. Harry is blue. Big, quiet people are kind. If Fiona is white then Fiona is quiet. If Harry is blue and Harry is kind then Harry is big. All blue, big people are kind. All kind, rough people are cold. Rough, quiet people are white.
Fiona is rough.
@0: Fiona is big.[(triple1)] Fiona is white.[(triple2)] Harry is blue.[(triple3)] @1: Fiona is quiet.[(((triple2) -> rule2))] @2: Fiona is kind.[(((triple1 ((triple2) -> rule2)) -> rule1))]