Bob is big. Bob is white. Fiona is not nice. If Bob is white then Bob is round. If Bob is not young then Bob is furry.
Fiona is round.
@0: Bob is big.[(triple1)] Bob is white.[(triple2)] Fiona is not nice.[(triple3)] @1: Bob is round.[(((triple2) -> rule1))]