Bob is big. Bob is rough. Bob is round. If Bob is blue then Bob is furry. If someone is furry and white then they are big. Furry people are blue. If someone is blue and quiet then they are white. If Bob is round then Bob is quiet. If someone is white and furry then they are round. All big, blue people are white. Furry people are round.
Bob is big.
@0: Bob is big.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] @1: Bob is quiet.[(((triple3) -> rule5))]