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.
Fiona is cold.
@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))]