Charlie is blue. Charlie is furry. Charlie is red. Erin is not blue. Erin is furry. Erin is green. Erin is round. Erin is young. Gary is not red. Gary is not young. Harry is blue. Harry is furry. Round, big things are green. If something is red then it is round. Big, furry things are round. If something is furry and not blue then it is round. If something is furry and not blue then it is young. Furry things are young. If Erin is round and Erin is young then Erin is big. If something is furry and young then it is big.
Charlie is not big.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is red.[(triple3)] Erin is furry.[(triple5)] Erin is green.[(triple6 OR ((triple7 ((triple5 triple8) -> rule8)) -> rule1) OR ((triple7 ((triple7 triple8) -> rule7)) -> rule1) OR ((((triple5 triple4) -> rule4) ((triple5 triple8) -> rule8)) -> rule1) OR ((((triple5 triple4) -> rule4) ((triple7 triple8) -> rule7)) -> rule1) OR ((triple7 ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule1) OR ((triple7 ((triple5 ((triple5 triple4) -> rule5)) -> rule8)) -> rule1) OR ((triple7 ((triple7 ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((triple7 ((triple7 ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((triple7 ((((triple5 triple4) -> rule4) triple8) -> rule7)) -> rule1) OR ((triple7 ((((triple5 triple4) -> rule4) ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((triple7 ((((triple5 triple4) -> rule4) ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple5 triple4) -> rule4) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule1) OR ((((triple5 triple4) -> rule4) ((triple5 ((triple5 triple4) -> rule5)) -> rule8)) -> rule1) OR ((((triple5 triple4) -> rule4) ((triple7 ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((triple5 triple4) -> rule4) ((triple7 ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple5 triple4) -> rule4) ((((triple5 triple4) -> rule4) triple8) -> rule7)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((triple5 triple8) -> rule8)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((triple7 triple8) -> rule7)) -> rule1) OR ((((triple5 triple4) -> rule4) ((((triple5 triple4) -> rule4) ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((triple5 triple4) -> rule4) ((((triple5 triple4) -> rule4) ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((triple5 ((triple5 triple4) -> rule5)) -> rule8)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((triple7 ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((triple7 ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) triple8) -> rule7)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((triple5 triple8) -> rule8)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((triple7 triple8) -> rule7)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((triple5 triple8) -> rule8)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((triple7 triple8) -> rule7)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((triple5 ((triple5 triple4) -> rule5)) -> rule8)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((triple7 ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((triple7 ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) triple8) -> rule7)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((triple5 ((triple5 triple4) -> rule5)) -> rule8)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((triple7 ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((triple7 ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) triple8) -> rule7)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) ((triple5 triple4) -> rule5)) -> rule7)) -> rule1))] Erin is not blue.[(triple4)] Erin is round.[(triple7 OR ((triple5 triple4) -> rule4) OR ((((triple5 triple8) -> rule8) triple5) -> rule3) OR ((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) OR ((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3))] Erin is young.[(triple8 OR ((triple5) -> rule6) OR ((triple5 triple4) -> rule5))] Gary is not red.[(triple9)] Gary is not young.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] @1: Charlie is round.[(((triple3) -> rule2) OR ((((triple2 ((triple2) -> rule6)) -> rule8) triple2) -> rule3))] Charlie is young.[(((triple2) -> rule6))] Erin is big.[(((triple5 triple8) -> rule8) OR ((triple7 triple8) -> rule7) OR ((triple5 ((triple5) -> rule6)) -> rule8) OR ((triple5 ((triple5 triple4) -> rule5)) -> rule8) OR ((triple7 ((triple5) -> rule6)) -> rule7) OR ((triple7 ((triple5 triple4) -> rule5)) -> rule7) OR ((((triple5 triple4) -> rule4) triple8) -> rule7) OR ((((triple5 triple4) -> rule4) ((triple5) -> rule6)) -> rule7) OR ((((triple5 triple4) -> rule4) ((triple5 triple4) -> rule5)) -> rule7))] Harry is young.[(((triple12) -> rule6))] @2: Charlie is big.[(((triple2 ((triple2) -> rule6)) -> rule8))] Harry is big.[(((triple12 ((triple12) -> rule6)) -> rule8))] @3: Charlie is green.[(((((triple3) -> rule2) ((triple2 ((triple2) -> rule6)) -> rule8)) -> rule1) OR ((((((triple2 ((triple2) -> rule6)) -> rule8) triple2) -> rule3) ((triple2 ((triple2) -> rule6)) -> rule8)) -> rule1))] Harry is round.[(((((triple12 ((triple12) -> rule6)) -> rule8) triple12) -> rule3))] @4: Harry is green.[(((((((triple12 ((triple12) -> rule6)) -> rule8) triple12) -> rule3) ((triple12 ((triple12) -> rule6)) -> rule8)) -> rule1))]