Bob is green. Bob is kind. Bob is quiet. Cold, quiet people are young. If someone is kind then they are white. If someone is white and green then they are furry. Cold, green people are kind. If Bob is kind then Bob is quiet. All young, cold people are furry.
Bob is not young.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3 OR ((triple2) -> rule5))] @1: Bob is white.[(((triple2) -> rule2))] @2: Bob is furry.[(((((triple2) -> rule2) triple1) -> rule3))]