Anne is blue. Anne is furry. Anne is kind. Dave is kind. Dave is white. Erin is big. Erin is nice. Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is white. If something is green and nice then it is kind. If something is kind and white then it is blue. Furry, nice things are green. All white, green things are big. If something is kind and blue then it is green. Kind, green things are furry. If something is green and big then it is white. Blue, furry things are big.
Dave is not nice.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple3 ((triple3 triple1) -> rule5)) -> rule6))] Anne is kind.[(triple3)] Dave is kind.[(triple4)] Dave is white.[(triple5)] Erin is big.[(triple6)] Erin is nice.[(triple7)] Gary is blue.[(triple8 OR ((triple11 triple12) -> rule2))] Gary is furry.[(triple9 OR ((triple11 triple10) -> rule6) OR ((triple11 ((triple11 triple8) -> rule5)) -> rule6) OR ((triple11 ((triple11 ((triple11 triple12) -> rule2)) -> rule5)) -> rule6))] Gary is green.[(triple10 OR ((triple11 triple8) -> rule5) OR ((triple11 ((triple11 triple12) -> rule2)) -> rule5))] Gary is kind.[(triple11)] Gary is white.[(triple12 OR ((triple10 ((triple8 triple9) -> rule8)) -> rule7) OR ((((triple11 triple8) -> rule5) ((triple8 triple9) -> rule8)) -> rule7) OR ((triple10 ((triple8 ((triple11 triple10) -> rule6)) -> rule8)) -> rule7) OR ((((triple11 triple8) -> rule5) ((triple8 ((triple11 triple10) -> rule6)) -> rule8)) -> rule7) OR ((triple10 ((triple8 ((triple11 ((triple11 triple8) -> rule5)) -> rule6)) -> rule8)) -> rule7) OR ((((triple11 triple8) -> rule5) ((triple8 ((triple11 ((triple11 triple8) -> rule5)) -> rule6)) -> rule8)) -> rule7))] @1: Anne is big.[(((triple1 triple2) -> rule8) OR ((triple1 ((triple3 ((triple3 triple1) -> rule5)) -> rule6)) -> rule8))] Anne is green.[(((triple3 triple1) -> rule5))] Dave is blue.[(((triple4 triple5) -> rule2))] Gary is big.[(((triple12 triple10) -> rule4) OR ((triple8 triple9) -> rule8) OR ((triple12 ((triple11 triple8) -> rule5)) -> rule4) OR ((triple8 ((triple11 triple10) -> rule6)) -> rule8) OR ((((triple11 triple12) -> rule2) triple9) -> rule8) OR ((((triple11 triple12) -> rule2) ((triple11 triple10) -> rule6)) -> rule8) OR ((triple12 ((triple11 ((triple11 triple12) -> rule2)) -> rule5)) -> rule4) OR ((triple8 ((triple11 ((triple11 triple8) -> rule5)) -> rule6)) -> rule8) OR ((((triple11 triple12) -> rule2) ((triple11 ((triple11 triple8) -> rule5)) -> rule6)) -> rule8) OR ((triple8 ((triple11 ((triple11 ((triple11 triple12) -> rule2)) -> rule5)) -> rule6)) -> rule8) OR ((((triple11 triple12) -> rule2) ((triple11 ((triple11 ((triple11 triple12) -> rule2)) -> rule5)) -> rule6)) -> rule8))] @2: Anne is white.[(((((triple3 triple1) -> rule5) ((triple1 triple2) -> rule8)) -> rule7) OR ((((triple3 triple1) -> rule5) ((triple1 ((triple3 ((triple3 triple1) -> rule5)) -> rule6)) -> rule8)) -> rule7))] Dave is green.[(((triple4 ((triple4 triple5) -> rule2)) -> rule5))] @3: Dave is big.[(((triple5 ((triple4 ((triple4 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((triple4 triple5) -> rule2) ((triple4 ((triple4 ((triple4 triple5) -> rule2)) -> rule5)) -> rule6)) -> rule8))] Dave is furry.[(((triple4 ((triple4 ((triple4 triple5) -> rule2)) -> rule5)) -> rule6))]