Anne is not cold. Anne is rough. Bob is round. Erin is rough. Erin is round. Gary is furry. Gary is green. All nice things are green. Furry things are green. If something is green and not round then it is white. Cold, round things are nice. If Bob is furry then Bob is white. Round things are cold. If Anne is white then Anne is furry. All nice things are rough. Rough things are furry.
Bob is not white.
@0: Anne is not cold.[(triple1)] Anne is rough.[(triple2)] Bob is round.[(triple3)] Erin is rough.[(triple4 OR ((((((triple5) -> rule6) triple5) -> rule4)) -> rule8))] Erin is round.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7 OR ((triple6) -> rule2))] @1: Anne is furry.[(((triple2) -> rule9))] Bob is cold.[(((triple3) -> rule6))] Erin is cold.[(((triple5) -> rule6))] Erin is furry.[(((triple4) -> rule9) OR ((((((((triple5) -> rule6) triple5) -> rule4)) -> rule8)) -> rule9))] @2: Anne is green.[(((((triple2) -> rule9)) -> rule2))] Bob is nice.[(((((triple3) -> rule6) triple3) -> rule4))] Erin is green.[(((((triple4) -> rule9)) -> rule2) OR ((((((triple5) -> rule6) triple5) -> rule4)) -> rule1) OR ((((((((((triple5) -> rule6) triple5) -> rule4)) -> rule8)) -> rule9)) -> rule2))] Erin is nice.[(((((triple5) -> rule6) triple5) -> rule4))] @3: Bob is green.[(((((((triple3) -> rule6) triple3) -> rule4)) -> rule1) OR ((((((((((triple3) -> rule6) triple3) -> rule4)) -> rule8)) -> rule9)) -> rule2))] Bob is rough.[(((((((triple3) -> rule6) triple3) -> rule4)) -> rule8))] @4: Bob is furry.[(((((((((triple3) -> rule6) triple3) -> rule4)) -> rule8)) -> rule9))] @5: Bob is white.[(((((((((((triple3) -> rule6) triple3) -> rule4)) -> rule8)) -> rule9)) -> rule5))]