Dave is cold. Dave is smart. Dave is white. Erin is cold. Erin is quiet. Fiona is big. Fiona is white. White things are round. All big, cold things are smart. If Dave is quiet and Dave is cold then Dave is white.
Dave is cold.
@0: Dave is cold.[(triple1)] Dave is smart.[(triple2)] Dave is white.[(triple3)] Erin is cold.[(triple4)] Erin is quiet.[(triple5)] Fiona is big.[(triple6)] Fiona is white.[(triple7)] @1: Dave is round.[(((triple3) -> rule1))] Fiona is round.[(((triple7) -> rule1))]