Bob is not cold. Bob is furry. Bob is green. Bob is round. Charlie is not furry. Charlie is not green. Charlie is round. Cold, white people are not furry. Cold, quiet people are not furry. If someone is round and cold then they are not furry. If someone is big and white then they are not quiet. Big, green people are not quiet. Round, furry people are white. If someone is round then they are white. Big, white people are green.
Charlie is furry.
@0: Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is not cold.[(triple1)] Bob is round.[(triple4)] Charlie is not furry.[(triple5)] Charlie is not green.[(triple6)] Charlie is round.[(triple7)] @1: Bob is white.[(((triple4) -> rule7) OR ((triple4 triple2) -> rule6))] Charlie is white.[(((triple7) -> rule7))]