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.
Bob is not nice.
@0: Bob is big.[(triple1)] Bob is white.[(triple2)] Fiona is not nice.[(triple3)] @1: Bob is round.[(((triple2) -> rule1))]