Erin is blue. Erin is white. Fiona is furry. Gary is blue. Gary is green. Gary is nice. Gary is smart. Harry is furry. Harry is green. Harry is nice. Harry is rough. Harry is smart. If Erin is rough then Erin is smart. All furry, nice things are green. If Fiona is furry and Fiona is green then Fiona is white. If something is white then it is rough. If Gary is green then Gary is furry. Smart, blue things are nice. All nice, blue things are furry. If something is green and nice then it is white. Nice, furry things are blue.
Fiona is not green.
@0: Erin is blue.[(triple1)] Erin is white.[(triple2)] Fiona is furry.[(triple3)] Gary is blue.[(triple4 OR ((triple6 ((triple5) -> rule5)) -> rule9))] Gary is green.[(triple5 OR ((((triple6 triple4) -> rule7) triple6) -> rule2) OR ((((triple6 triple4) -> rule7) ((triple7 triple4) -> rule6)) -> rule2) OR ((((((triple7 triple4) -> rule6) triple4) -> rule7) triple6) -> rule2) OR ((((((triple7 triple4) -> rule6) triple4) -> rule7) ((triple7 triple4) -> rule6)) -> rule2))] Gary is nice.[(triple6 OR ((triple7 triple4) -> rule6))] Gary is smart.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9 OR ((triple8 triple10) -> rule2))] Harry is nice.[(triple10)] Harry is rough.[(triple11 OR ((((triple9 triple10) -> rule8)) -> rule4) OR ((((((triple8 triple10) -> rule2) triple10) -> rule8)) -> rule4))] Harry is smart.[(triple12)] @1: Erin is rough.[(((triple2) -> rule4))] Gary is furry.[(((triple5) -> rule5) OR ((triple6 triple4) -> rule7) OR ((((triple7 triple4) -> rule6) triple4) -> rule7))] Gary is white.[(((triple5 triple6) -> rule8) OR ((triple5 ((triple7 triple4) -> rule6)) -> rule8) OR ((((((triple6 triple4) -> rule7) triple6) -> rule2) triple6) -> rule8) OR ((((((triple6 triple4) -> rule7) triple6) -> rule2) ((triple7 triple4) -> rule6)) -> rule8) OR ((((((triple6 triple4) -> rule7) ((triple7 triple4) -> rule6)) -> rule2) triple6) -> rule8) OR ((((((triple6 triple4) -> rule7) ((triple7 triple4) -> rule6)) -> rule2) ((triple7 triple4) -> rule6)) -> rule8) OR ((((((((triple7 triple4) -> rule6) triple4) -> rule7) triple6) -> rule2) triple6) -> rule8) OR ((((((((triple7 triple4) -> rule6) triple4) -> rule7) triple6) -> rule2) ((triple7 triple4) -> rule6)) -> rule8) OR ((((((((triple7 triple4) -> rule6) triple4) -> rule7) ((triple7 triple4) -> rule6)) -> rule2) triple6) -> rule8) OR ((((((((triple7 triple4) -> rule6) triple4) -> rule7) ((triple7 triple4) -> rule6)) -> rule2) ((triple7 triple4) -> rule6)) -> rule8))] Harry is blue.[(((triple10 triple8) -> rule9))] Harry is white.[(((triple9 triple10) -> rule8) OR ((((triple8 triple10) -> rule2) triple10) -> rule8))] @2: Erin is smart.[(((((triple2) -> rule4)) -> rule1))] Gary is rough.[(((((triple5 triple6) -> rule8)) -> rule4) OR ((((triple5 ((triple7 triple4) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple6 triple4) -> rule7) triple6) -> rule2) triple6) -> rule8)) -> rule4) OR ((((((((triple6 triple4) -> rule7) triple6) -> rule2) ((triple7 triple4) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple6 triple4) -> rule7) ((triple7 triple4) -> rule6)) -> rule2) triple6) -> rule8)) -> rule4) OR ((((((((triple6 triple4) -> rule7) ((triple7 triple4) -> rule6)) -> rule2) ((triple7 triple4) -> rule6)) -> rule8)) -> rule4) OR ((((((((((triple7 triple4) -> rule6) triple4) -> rule7) triple6) -> rule2) triple6) -> rule8)) -> rule4) OR ((((((((((triple7 triple4) -> rule6) triple4) -> rule7) triple6) -> rule2) ((triple7 triple4) -> rule6)) -> rule8)) -> rule4) OR ((((((((((triple7 triple4) -> rule6) triple4) -> rule7) ((triple7 triple4) -> rule6)) -> rule2) triple6) -> rule8)) -> rule4) OR ((((((((((triple7 triple4) -> rule6) triple4) -> rule7) ((triple7 triple4) -> rule6)) -> rule2) ((triple7 triple4) -> rule6)) -> rule8)) -> rule4))] @3: Erin is nice.[(((((((triple2) -> rule4)) -> rule1) triple1) -> rule6))] @4: Erin is furry.[(((((((((triple2) -> rule4)) -> rule1) triple1) -> rule6) triple1) -> rule7))] @5: Erin is green.[(((((((((((triple2) -> rule4)) -> rule1) triple1) -> rule6) triple1) -> rule7) ((((((triple2) -> rule4)) -> rule1) triple1) -> rule6)) -> rule2))]