Erin is blue. Erin is green. Gary is big. Gary is furry. Gary is smart. Harry is blue. Harry is green. All smart people are furry. Furry, smart people are nice. Smart, furry people are green. Big, smart people are nice. Blue, nice people are green. If someone is nice then they are green. Blue people are big. All furry people are smart.
Erin is not green.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Gary is big.[(triple3)] Gary is furry.[(triple4 OR ((triple5) -> rule1))] Gary is smart.[(triple5 OR ((triple4) -> rule8))] Harry is blue.[(triple6)] Harry is green.[(triple7)] @1: Erin is big.[(((triple1) -> rule7))] Gary is green.[(((triple5 triple4) -> rule3) OR ((((triple3 triple5) -> rule4)) -> rule6) OR ((((triple4 triple5) -> rule2)) -> rule6) OR ((triple5 ((triple5) -> rule1)) -> rule3) OR ((((triple4) -> rule8) triple4) -> rule3) OR ((((triple4) -> rule8) ((triple5) -> rule1)) -> rule3) OR ((((triple3 ((triple4) -> rule8)) -> rule4)) -> rule6) OR ((((triple4 ((triple4) -> rule8)) -> rule2)) -> rule6) OR ((((((triple5) -> rule1) triple5) -> rule2)) -> rule6) OR ((((((triple5) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule6))] Gary is nice.[(((triple3 triple5) -> rule4) OR ((triple4 triple5) -> rule2) OR ((triple3 ((triple4) -> rule8)) -> rule4) OR ((triple4 ((triple4) -> rule8)) -> rule2) OR ((((triple5) -> rule1) triple5) -> rule2) OR ((((triple5) -> rule1) ((triple4) -> rule8)) -> rule2))] Harry is big.[(((triple6) -> rule7))]