Charlie is white. Fiona is big. Harry is white. All kind, big people are smart. If Charlie is kind then Charlie is big. All white people are kind.
Fiona is big.
@0: Charlie is white.[(triple1)] Fiona is big.[(triple2)] Harry is white.[(triple3)] @1: Charlie is kind.[(((triple1) -> rule3))] Harry is kind.[(((triple3) -> rule3))] @2: Charlie is big.[(((((triple1) -> rule3)) -> rule2))] @3: Charlie is smart.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule2)) -> rule1))]