Charlie is white. Erin is rough. Fiona is big. All round things are nice. Kind things are round. If Charlie is white then Charlie is kind.
Charlie is kind.
@0: Charlie is white.[(triple1)] Erin is rough.[(triple2)] Fiona is big.[(triple3)] @1: Charlie is kind.[(((triple1) -> rule3))] @2: Charlie is round.[(((((triple1) -> rule3)) -> rule2))] @3: Charlie is nice.[(((((((triple1) -> rule3)) -> rule2)) -> rule1))]