Bob is blue. Bob is furry. Dave is white. Erin is green. Erin is white. Gary is green. Gary is red. If Erin is furry and Erin is blue then Erin is big. Red things are round. If something is blue and big then it is white. Red, furry things are white. If something is round then it is furry. If something is furry and green then it is blue. Blue, white things are furry. If something is green then it is red.
Erin is blue.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Dave is white.[(triple3)] Erin is green.[(triple4)] Erin is white.[(triple5 OR ((((triple4) -> rule8) ((((((triple4) -> rule8)) -> rule2)) -> rule5)) -> rule4) OR ((((((((((triple4) -> rule8)) -> rule2)) -> rule5) triple4) -> rule6) ((((((((triple4) -> rule8)) -> rule2)) -> rule5) ((((((((triple4) -> rule8)) -> rule2)) -> rule5) triple4) -> rule6)) -> rule1)) -> rule3))] Gary is green.[(triple6)] Gary is red.[(triple7 OR ((triple6) -> rule8))] @1: Erin is red.[(((triple4) -> rule8))] Gary is round.[(((triple7) -> rule2) OR ((((triple6) -> rule8)) -> rule2))] @2: Erin is round.[(((((triple4) -> rule8)) -> rule2))] Gary is furry.[(((((triple7) -> rule2)) -> rule5) OR ((((((triple6) -> rule8)) -> rule2)) -> rule5))] @3: Erin is furry.[(((((((triple4) -> rule8)) -> rule2)) -> rule5))] Gary is blue.[(((((((triple7) -> rule2)) -> rule5) triple6) -> rule6) OR ((((((((triple6) -> rule8)) -> rule2)) -> rule5) triple6) -> rule6))] Gary is white.[(((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule4) OR ((((triple6) -> rule8) ((((triple7) -> rule2)) -> rule5)) -> rule4) OR ((triple7 ((((((triple6) -> rule8)) -> rule2)) -> rule5)) -> rule4) OR ((((triple6) -> rule8) ((((((triple6) -> rule8)) -> rule2)) -> rule5)) -> rule4))] @4: Erin is blue.[(((((((((triple4) -> rule8)) -> rule2)) -> rule5) triple4) -> rule6))] @5: Erin is big.[(((((((((triple4) -> rule8)) -> rule2)) -> rule5) ((((((((triple4) -> rule8)) -> rule2)) -> rule5) triple4) -> rule6)) -> rule1))]