Charlie is quiet. Fiona is rough. All quiet people are nice. If someone is nice then they are big. If Charlie is young then Charlie is nice.
Charlie is blue.
@0: Charlie is quiet.[(triple1)] Fiona is rough.[(triple2)] @1: Charlie is nice.[(((triple1) -> rule1))] @2: Charlie is big.[(((((triple1) -> rule1)) -> rule2))]