Anne is not furry. Anne is white. Bob is blue. Bob is cold. Bob is young. Erin is blue. Harry is not young. If someone is rough then they are cold. If someone is rough then they are white. If Harry is red then Harry is cold. All white people are red. Red, rough people are young. If someone is blue then they are rough. If Anne is not red then Anne is young. Cold, young people are not furry.
Harry is rough.
@0: Anne is not furry.[(triple1)] Anne is white.[(triple2)] Bob is blue.[(triple3)] Bob is cold.[(triple4 OR ((((triple3) -> rule6)) -> rule1))] Bob is young.[(triple5 OR ((((((((triple3) -> rule6)) -> rule2)) -> rule4) ((triple3) -> rule6)) -> rule5))] Erin is blue.[(triple6)] Harry is not young.[(triple7)] @1: Anne is red.[(((triple2) -> rule4))] Bob is not furry.[(((triple4 triple5) -> rule8) OR ((((((triple3) -> rule6)) -> rule1) triple5) -> rule8) OR ((triple4 ((((((((triple3) -> rule6)) -> rule2)) -> rule4) ((triple3) -> rule6)) -> rule5)) -> rule8) OR ((((((triple3) -> rule6)) -> rule1) ((((((((triple3) -> rule6)) -> rule2)) -> rule4) ((triple3) -> rule6)) -> rule5)) -> rule8))] Bob is rough.[(((triple3) -> rule6))] Erin is rough.[(((triple6) -> rule6))] @2: Bob is white.[(((((triple3) -> rule6)) -> rule2))] Erin is cold.[(((((triple6) -> rule6)) -> rule1))] Erin is white.[(((((triple6) -> rule6)) -> rule2))] @3: Bob is red.[(((((((triple3) -> rule6)) -> rule2)) -> rule4))] Erin is red.[(((((((triple6) -> rule6)) -> rule2)) -> rule4))] @4: Erin is young.[(((((((((triple6) -> rule6)) -> rule2)) -> rule4) ((triple6) -> rule6)) -> rule5))] @5: Erin is not furry.[(((((((triple6) -> rule6)) -> rule1) ((((((((triple6) -> rule6)) -> rule2)) -> rule4) ((triple6) -> rule6)) -> rule5)) -> rule8))]