Anne is big. Anne is blue. Anne is furry. Anne is red. Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is red. Bob is round. Erin is big. Erin is furry. Erin is red. Erin is round. Erin is smart. Gary is blue. If something is furry then it is blue. Smart, furry things are round. All big, blue things are smart. All round things are nice. If Bob is big then Bob is furry. All furry things are big.
Anne is not round.
@0: Anne is big.[(triple1 OR ((triple3) -> rule6))] Anne is blue.[(triple2 OR ((triple3) -> rule1))] Anne is furry.[(triple3)] Anne is red.[(triple4)] Bob is big.[(triple5 OR ((triple7) -> rule6))] Bob is blue.[(triple6 OR ((triple7) -> rule1) OR ((((triple5) -> rule5)) -> rule1))] Bob is furry.[(triple7 OR ((triple5) -> rule5))] Bob is nice.[(triple8 OR ((triple10) -> rule4) OR ((((((triple5 triple6) -> rule3) triple7) -> rule2)) -> rule4) OR ((((((triple5 triple6) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule4) OR ((((((triple5 ((triple7) -> rule1)) -> rule3) triple7) -> rule2)) -> rule4) OR ((((((((triple7) -> rule6) triple6) -> rule3) triple7) -> rule2)) -> rule4) OR ((((((triple5 ((triple7) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule4) OR ((((((((triple7) -> rule6) triple6) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule4) OR ((((((((triple7) -> rule6) ((triple7) -> rule1)) -> rule3) triple7) -> rule2)) -> rule4) OR ((((((((triple7) -> rule6) ((triple7) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule4) OR ((((((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule3) triple7) -> rule2)) -> rule4) OR ((((((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule4) OR ((((((((triple7) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3) triple7) -> rule2)) -> rule4) OR ((((((((triple7) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule4))] Bob is red.[(triple9)] Bob is round.[(triple10 OR ((((triple5 triple6) -> rule3) triple7) -> rule2) OR ((((triple5 triple6) -> rule3) ((triple5) -> rule5)) -> rule2) OR ((((triple5 ((triple7) -> rule1)) -> rule3) triple7) -> rule2) OR ((((((triple7) -> rule6) triple6) -> rule3) triple7) -> rule2) OR ((((triple5 ((triple7) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2) OR ((((((triple7) -> rule6) triple6) -> rule3) ((triple5) -> rule5)) -> rule2) OR ((((((triple7) -> rule6) ((triple7) -> rule1)) -> rule3) triple7) -> rule2) OR ((((((triple7) -> rule6) ((triple7) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2) OR ((((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule3) triple7) -> rule2) OR ((((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2) OR ((((((triple7) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3) triple7) -> rule2) OR ((((((triple7) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2))] Erin is big.[(triple11 OR ((triple12) -> rule6))] Erin is furry.[(triple12)] Erin is red.[(triple13)] Erin is round.[(triple14 OR ((triple15 triple12) -> rule2) OR ((((triple11 ((triple12) -> rule1)) -> rule3) triple12) -> rule2) OR ((((((triple12) -> rule6) ((triple12) -> rule1)) -> rule3) triple12) -> rule2))] Erin is smart.[(triple15 OR ((triple11 ((triple12) -> rule1)) -> rule3) OR ((((triple12) -> rule6) ((triple12) -> rule1)) -> rule3))] Gary is blue.[(triple16)] @1: Anne is smart.[(((triple1 triple2) -> rule3) OR ((triple1 ((triple3) -> rule1)) -> rule3) OR ((((triple3) -> rule6) triple2) -> rule3) OR ((((triple3) -> rule6) ((triple3) -> rule1)) -> rule3))] Bob is smart.[(((triple5 triple6) -> rule3) OR ((triple5 ((triple7) -> rule1)) -> rule3) OR ((((triple7) -> rule6) triple6) -> rule3) OR ((((triple7) -> rule6) ((triple7) -> rule1)) -> rule3) OR ((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule3) OR ((((triple7) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3))] Erin is blue.[(((triple12) -> rule1))] Erin is nice.[(((triple14) -> rule4) OR ((((triple15 triple12) -> rule2)) -> rule4) OR ((((((triple11 ((triple12) -> rule1)) -> rule3) triple12) -> rule2)) -> rule4) OR ((((((((triple12) -> rule6) ((triple12) -> rule1)) -> rule3) triple12) -> rule2)) -> rule4))] @2: Anne is round.[(((((triple1 triple2) -> rule3) triple3) -> rule2) OR ((((triple1 ((triple3) -> rule1)) -> rule3) triple3) -> rule2) OR ((((((triple3) -> rule6) triple2) -> rule3) triple3) -> rule2) OR ((((((triple3) -> rule6) ((triple3) -> rule1)) -> rule3) triple3) -> rule2))] @3: Anne is nice.[(((((((triple1 triple2) -> rule3) triple3) -> rule2)) -> rule4) OR ((((((triple1 ((triple3) -> rule1)) -> rule3) triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule6) triple2) -> rule3) triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule6) ((triple3) -> rule1)) -> rule3) triple3) -> rule2)) -> rule4))]