Charlie is blue. Erin is young. Fiona is kind. Harry is not big. Big things are white. If Charlie is big and Charlie is white then Charlie is blue. All young things are big.
Harry is round.
@0: Charlie is blue.[(triple1)] Erin is young.[(triple2)] Fiona is kind.[(triple3)] Harry is not big.[(triple4)] @1: Erin is big.[(((triple2) -> rule3))] @2: Erin is white.[(((((triple2) -> rule3)) -> rule1))]