Bob is nice. Fiona is round. If Bob is red and Bob is white then Bob is quiet. Nice people are white.
Fiona is not round.
@0: Bob is nice.[(triple1)] Fiona is round.[(triple2)] @1: Bob is white.[(((triple1) -> rule2))]