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.
Fiona is not big.
@0: Charlie is quiet.[(triple1)] Fiona is rough.[(triple2)] @1: Charlie is nice.[(((triple1) -> rule1))] @2: Charlie is big.[(((((triple1) -> rule1)) -> rule2))]