Bob is kind. Bob is not quiet. Bob is rough. Red people are green. If someone is rough then they are furry. If someone is nice then they are kind. If Bob is green then Bob is not nice. If Bob is furry then Bob is green. Furry, green people are red. All nice people are not quiet. Quiet people are not rough.
Bob is not quiet.
@0: Bob is kind.[(triple1)] Bob is not quiet.[(triple2)] Bob is rough.[(triple3)] @1: Bob is furry.[(((triple3) -> rule2))] @2: Bob is green.[(((((triple3) -> rule2)) -> rule5))] @3: Bob is not nice.[(((((((triple3) -> rule2)) -> rule5)) -> rule4))] Bob is red.[(((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule5)) -> rule6))]