Bob is cold. Charlie is quiet. Dave is smart. Fiona is big. Big people are quiet. If someone is nice and round then they are big. If someone is quiet and smart then they are round.
Dave is cold.
@0: Bob is cold.[(triple1)] Charlie is quiet.[(triple2)] Dave is smart.[(triple3)] Fiona is big.[(triple4)] @1: Fiona is quiet.[(((triple4) -> rule1))]