Bob is furry. Bob is green. Bob is nice. Charlie is not furry. Harry is furry. Harry is nice. Harry is quiet. If someone is quiet and not nice then they are green. Quiet people are green. If Harry is green and Harry is not nice then Harry is round. All nice, green people are white. If Charlie is nice then Charlie is quiet. If someone is green and not quiet then they are young. If someone is nice and young then they are not furry. Young, white people are not round.
Bob is quiet.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Charlie is not furry.[(triple4)] Harry is furry.[(triple5)] Harry is nice.[(triple6)] Harry is quiet.[(triple7)] @1: Bob is white.[(((triple3 triple2) -> rule4))] Harry is green.[(((triple7) -> rule2))] @2: Harry is white.[(((triple6 ((triple7) -> rule2)) -> rule4))]