Anne is red. Bob is round. Charlie is red. Gary is round. Round people are white. If someone is young and red then they are white. All young, white people are not quiet. If someone is red and not round then they are young. If someone is round then they are young. If someone is cold and not red then they are not young. Cold, round people are not furry. If someone is white and not quiet then they are furry.
Bob is not cold.
@0: Anne is red.[(triple1)] Bob is round.[(triple2)] Charlie is red.[(triple3)] Gary is round.[(triple4)] @1: Bob is white.[(((triple2) -> rule1))] Bob is young.[(((triple2) -> rule5))] Gary is white.[(((triple4) -> rule1))] Gary is young.[(((triple4) -> rule5))] @2: Bob is not quiet.[(((((triple2) -> rule5) ((triple2) -> rule1)) -> rule3))] Gary is not quiet.[(((((triple4) -> rule5) ((triple4) -> rule1)) -> rule3))] @3: Bob is furry.[(((((triple2) -> rule1) ((((triple2) -> rule5) ((triple2) -> rule1)) -> rule3)) -> rule8))] Gary is furry.[(((((triple4) -> rule1) ((((triple4) -> rule5) ((triple4) -> rule1)) -> rule3)) -> rule8))]