Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is red. Fiona is blue. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Harry is big. Harry is blue. Harry is furry. Harry is green. Furry things are kind. Kind things are rough. If something is big then it is blue. If something is furry then it is green. All red, blue things are green. All furry, kind things are red. All blue, green things are big. Rough, furry things are green.
Erin is not red.
@0: Erin is big.[(triple1 OR ((triple2 triple4) -> rule7) OR ((triple2 ((triple3) -> rule4)) -> rule7) OR ((triple2 ((triple6 triple2) -> rule5)) -> rule7) OR ((triple2 ((((triple5) -> rule2) triple3) -> rule8)) -> rule7) OR ((triple2 ((((triple3 triple5) -> rule6) triple2) -> rule5)) -> rule7) OR ((triple2 ((((((triple3) -> rule1)) -> rule2) triple3) -> rule8)) -> rule7) OR ((triple2 ((((triple3 ((triple3) -> rule1)) -> rule6) triple2) -> rule5)) -> rule7))] Erin is blue.[(triple2 OR ((triple1) -> rule3))] Erin is furry.[(triple3)] Erin is green.[(triple4 OR ((triple3) -> rule4) OR ((triple6 triple2) -> rule5) OR ((triple6 ((triple1) -> rule3)) -> rule5) OR ((((triple5) -> rule2) triple3) -> rule8) OR ((((triple3 triple5) -> rule6) triple2) -> rule5) OR ((((triple3 triple5) -> rule6) ((triple1) -> rule3)) -> rule5) OR ((((((triple3) -> rule1)) -> rule2) triple3) -> rule8) OR ((((triple3 ((triple3) -> rule1)) -> rule6) triple2) -> rule5) OR ((((triple3 ((triple3) -> rule1)) -> rule6) ((triple1) -> rule3)) -> rule5))] Erin is kind.[(triple5 OR ((triple3) -> rule1))] Erin is red.[(triple6 OR ((triple3 triple5) -> rule6) OR ((triple3 ((triple3) -> rule1)) -> rule6))] Fiona is blue.[(triple7)] Fiona is green.[(triple8 OR ((triple10 triple7) -> rule5))] Fiona is kind.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11 OR ((triple9) -> rule2))] Harry is big.[(triple12 OR ((triple13 triple15) -> rule7) OR ((triple13 ((triple14) -> rule4)) -> rule7) OR ((triple13 ((((((triple14) -> rule1)) -> rule2) triple14) -> rule8)) -> rule7) OR ((triple13 ((((triple14 ((triple14) -> rule1)) -> rule6) triple13) -> rule5)) -> rule7))] Harry is blue.[(triple13 OR ((triple12) -> rule3))] Harry is furry.[(triple14)] Harry is green.[(triple15 OR ((triple14) -> rule4) OR ((((((triple14) -> rule1)) -> rule2) triple14) -> rule8) OR ((((triple14 ((triple14) -> rule1)) -> rule6) triple13) -> rule5) OR ((((triple14 ((triple14) -> rule1)) -> rule6) ((triple12) -> rule3)) -> rule5))] @1: Erin is rough.[(((triple5) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Fiona is big.[(((triple7 triple8) -> rule7) OR ((triple7 ((triple10 triple7) -> rule5)) -> rule7))] Harry is kind.[(((triple14) -> rule1))] @2: Harry is red.[(((triple14 ((triple14) -> rule1)) -> rule6))] Harry is rough.[(((((triple14) -> rule1)) -> rule2))]