Bob is big. Bob is furry. Bob is round. Young, blue people are kind. All blue, nice people are not kind. Blue people are kind. If someone is round then they are not young. All big, kind people are not nice. If Bob is not kind then Bob is furry.
Bob is not kind.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is round.[(triple3)] @1: Bob is not young.[(((triple3) -> rule4))]