Bob is blue. Bob is rough. Bob is white. Charlie is furry. Charlie is quiet. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is white. Harry is blue. Harry is furry. Harry is green. Harry is quiet. Harry is rough. Harry is white. If Charlie is white then Charlie is quiet. If Harry is quiet then Harry is blue. All white, blue people are furry. Cold people are blue. If someone is green then they are rough. If someone is furry then they are green. White people are green. If someone is quiet then they are green.
Charlie is white.
@0: Bob is blue.[(triple1)] Bob is rough.[(triple2 OR ((((triple3) -> rule7)) -> rule5) OR ((((((triple3 triple1) -> rule3)) -> rule6)) -> rule5))] Bob is white.[(triple3)] Charlie is furry.[(triple4)] Charlie is quiet.[(triple5)] Fiona is cold.[(triple6)] Fiona is green.[(triple7 OR ((triple10) -> rule7) OR ((triple8) -> rule8) OR ((((triple10 ((triple6) -> rule4)) -> rule3)) -> rule6))] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9 OR ((triple7) -> rule5) OR ((((triple10) -> rule7)) -> rule5) OR ((((triple8) -> rule8)) -> rule5) OR ((((((triple10 ((triple6) -> rule4)) -> rule3)) -> rule6)) -> rule5))] Fiona is white.[(triple10)] Harry is blue.[(triple11 OR ((triple14) -> rule2))] Harry is furry.[(triple12 OR ((triple16 triple11) -> rule3) OR ((triple16 ((triple14) -> rule2)) -> rule3))] Harry is green.[(triple13 OR ((triple12) -> rule6) OR ((triple14) -> rule8) OR ((triple16) -> rule7) OR ((((triple16 triple11) -> rule3)) -> rule6) OR ((((triple16 ((triple14) -> rule2)) -> rule3)) -> rule6))] Harry is quiet.[(triple14)] Harry is rough.[(triple15 OR ((triple13) -> rule5) OR ((((triple12) -> rule6)) -> rule5) OR ((((triple14) -> rule8)) -> rule5) OR ((((triple16) -> rule7)) -> rule5) OR ((((((triple16 triple11) -> rule3)) -> rule6)) -> rule5) OR ((((((triple16 ((triple14) -> rule2)) -> rule3)) -> rule6)) -> rule5))] Harry is white.[(triple16)] @1: Bob is furry.[(((triple3 triple1) -> rule3))] Bob is green.[(((triple3) -> rule7) OR ((((triple3 triple1) -> rule3)) -> rule6))] Charlie is green.[(((triple4) -> rule6) OR ((triple5) -> rule8))] Fiona is blue.[(((triple6) -> rule4))] @2: Charlie is rough.[(((((triple4) -> rule6)) -> rule5) OR ((((triple5) -> rule8)) -> rule5))] Fiona is furry.[(((triple10 ((triple6) -> rule4)) -> rule3))]