Bob is quiet. Dave is nice. Erin is white. Fiona is kind. Nice people are quiet. If Erin is white then Erin is red. If someone is quiet then they are round.
Bob is nice.
@0: Bob is quiet.[(triple1)] Dave is nice.[(triple2)] Erin is white.[(triple3)] Fiona is kind.[(triple4)] @1: Bob is round.[(((triple1) -> rule3))] Dave is quiet.[(((triple2) -> rule1))] Erin is red.[(((triple3) -> rule2))] @2: Dave is round.[(((((triple2) -> rule1)) -> rule3))]