Erin is big. Erin is red. Erin is rough. Erin is smart. Erin is white. Gary is green. Gary is smart. If someone is furry and smart then they are green. If someone is rough and white then they are green. If Gary is furry and Gary is big then Gary is smart. Furry people are green. All big, white people are smart. If someone is furry then they are big. All rough, furry people are green. If someone is red and rough then they are furry.
Gary is rough.
@0: Erin is big.[(triple1 OR ((((triple2 triple3) -> rule8)) -> rule6))] Erin is red.[(triple2)] Erin is rough.[(triple3)] Erin is smart.[(triple4 OR ((triple1 triple5) -> rule5) OR ((((((triple2 triple3) -> rule8)) -> rule6) triple5) -> rule5))] Erin is white.[(triple5)] Gary is green.[(triple6)] Gary is smart.[(triple7)] @1: Erin is furry.[(((triple2 triple3) -> rule8))] Erin is green.[(((triple3 triple5) -> rule2) OR ((((triple2 triple3) -> rule8)) -> rule4) OR ((triple3 ((triple2 triple3) -> rule8)) -> rule7) OR ((((triple2 triple3) -> rule8) triple4) -> rule1) OR ((((triple2 triple3) -> rule8) ((triple1 triple5) -> rule5)) -> rule1) OR ((((triple2 triple3) -> rule8) ((((((triple2 triple3) -> rule8)) -> rule6) triple5) -> rule5)) -> rule1))]