Charlie is smart. Dave is blue. Erin is quiet. Fiona is quiet. All quiet things are big. If Dave is quiet and Dave is smart then Dave is big.
Charlie is not big.
@0: Charlie is smart.[(triple1)] Dave is blue.[(triple2)] Erin is quiet.[(triple3)] Fiona is quiet.[(triple4)] @1: Erin is big.[(((triple3) -> rule1))] Fiona is big.[(((triple4) -> rule1))]