Bob is rough. Dave is big. Harry is big. If someone is furry then they are round. If someone is rough then they are round.
Bob is not round.
@0: Bob is rough.[(triple1)] Dave is big.[(triple2)] Harry is big.[(triple3)] @1: Bob is round.[(((triple1) -> rule2))]