Bob is big. Bob is white. Harry is quiet. All red people are round. If someone is big then they are round. All red people are round. All red, kind people are big. All white, quiet people are blue. All red, round people are quiet.
Bob is not round.
@0: Bob is big.[(triple1)] Bob is white.[(triple2)] Harry is quiet.[(triple3)] @1: Bob is round.[(((triple1) -> rule2))]