Anne is furry. Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is smart. Gary is blue. If someone is white and green then they are blue. Blue people are white. If Bob is big then Bob is green. If Anne is blue and Anne is smart then Anne is big. If someone is white then they are green. All furry people are blue. If Bob is green then Bob is big. All white, blue people are big.
Anne is furry.
@0: Anne is furry.[(triple1)] Bob is big.[(triple2 OR ((triple5) -> rule7) OR ((((triple3) -> rule2) triple3) -> rule8) OR ((((triple3) -> rule2) ((triple4) -> rule6)) -> rule8) OR ((((((triple3) -> rule2)) -> rule5)) -> rule7) OR ((((((triple4) -> rule6)) -> rule2) triple3) -> rule8) OR ((((((triple4) -> rule6)) -> rule2) ((triple4) -> rule6)) -> rule8) OR ((((((((triple4) -> rule6)) -> rule2)) -> rule5)) -> rule7))] Bob is blue.[(triple3 OR ((triple4) -> rule6))] Bob is furry.[(triple4)] Bob is green.[(triple5 OR ((triple2) -> rule3) OR ((((triple3) -> rule2)) -> rule5) OR ((((((triple4) -> rule6)) -> rule2)) -> rule5) OR ((((((triple3) -> rule2) triple3) -> rule8)) -> rule3) OR ((((((triple3) -> rule2) ((triple4) -> rule6)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule6)) -> rule2) triple3) -> rule8)) -> rule3) OR ((((((((triple4) -> rule6)) -> rule2) ((triple4) -> rule6)) -> rule8)) -> rule3))] Bob is smart.[(triple6)] Gary is blue.[(triple7)] @1: Anne is blue.[(((triple1) -> rule6))] Bob is white.[(((triple3) -> rule2) OR ((((triple4) -> rule6)) -> rule2))] Gary is white.[(((triple7) -> rule2))] @2: Anne is white.[(((((triple1) -> rule6)) -> rule2))] Gary is big.[(((((triple7) -> rule2) triple7) -> rule8))] Gary is green.[(((((triple7) -> rule2)) -> rule5))] @3: Anne is big.[(((((((triple1) -> rule6)) -> rule2) ((triple1) -> rule6)) -> rule8))] Anne is green.[(((((((triple1) -> rule6)) -> rule2)) -> rule5))]