Charlie is blue. Charlie is quiet. Dave is not blue. Dave is green. Dave is quiet. Dave is round. Dave is not white. Erin is blue. Erin is green. Erin is quiet. Gary is green. Gary is quiet. If someone is blue and not quiet then they are round. If someone is green then they are round. Blue, cold people are green. All blue people are cold. If Charlie is not quiet then Charlie is not round. If Gary is blue and Gary is round then Gary is not cold. All round people are not furry. If someone is cold and not furry then they are white.
Gary is not furry.
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2)] Dave is green.[(triple4)] Dave is not blue.[(triple3)] Dave is not white.[(triple7)] Dave is quiet.[(triple5)] Dave is round.[(triple6 OR ((triple4) -> rule2))] Erin is blue.[(triple8)] Erin is green.[(triple9 OR ((triple8 ((triple8) -> rule4)) -> rule3))] Erin is quiet.[(triple10)] Gary is green.[(triple11)] Gary is quiet.[(triple12)] @1: Charlie is cold.[(((triple1) -> rule4))] Dave is not furry.[(((triple6) -> rule7) OR ((((triple4) -> rule2)) -> rule7))] Erin is cold.[(((triple8) -> rule4))] Erin is round.[(((triple9) -> rule2) OR ((((triple8 ((triple8) -> rule4)) -> rule3)) -> rule2))] Gary is round.[(((triple11) -> rule2))] @2: Charlie is green.[(((triple1 ((triple1) -> rule4)) -> rule3))] Erin is not furry.[(((((triple9) -> rule2)) -> rule7) OR ((((((triple8 ((triple8) -> rule4)) -> rule3)) -> rule2)) -> rule7))] Gary is not furry.[(((((triple11) -> rule2)) -> rule7))] @3: Charlie is round.[(((((triple1 ((triple1) -> rule4)) -> rule3)) -> rule2))] Erin is white.[(((((triple8) -> rule4) ((((triple9) -> rule2)) -> rule7)) -> rule8) OR ((((triple8) -> rule4) ((((((triple8 ((triple8) -> rule4)) -> rule3)) -> rule2)) -> rule7)) -> rule8))] @4: Charlie is not furry.[(((((((triple1 ((triple1) -> rule4)) -> rule3)) -> rule2)) -> rule7))] @5: Charlie is white.[(((((triple1) -> rule4) ((((((triple1 ((triple1) -> rule4)) -> rule3)) -> rule2)) -> rule7)) -> rule8))]