Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is young. Charlie is big. Charlie is blue. Charlie is furry. Erin is blue. Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is nice. Gary is white. Gary is young. All big things are young. All big, furry things are young. If Erin is young then Erin is green. If Gary is young then Gary is green. If something is young then it is furry. Big things are green. If Anne is blue then Anne is green. All nice, blue things are furry.
Erin is not young.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple5) -> rule5) OR ((((triple1) -> rule1)) -> rule5))] Anne is green.[(triple4 OR ((triple1) -> rule6) OR ((triple2) -> rule7))] Anne is young.[(triple5 OR ((triple1) -> rule1) OR ((triple1 triple3) -> rule2))] Charlie is big.[(triple6)] Charlie is blue.[(triple7)] Charlie is furry.[(triple8 OR ((((triple6) -> rule1)) -> rule5))] Erin is blue.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is furry.[(triple12 OR ((triple16) -> rule5) OR ((triple14 triple11) -> rule8) OR ((((triple10) -> rule1)) -> rule5))] Gary is green.[(triple13 OR ((triple10) -> rule6) OR ((triple16) -> rule4) OR ((((triple10) -> rule1)) -> rule4) OR ((((triple10 triple12) -> rule2)) -> rule4) OR ((((triple10 ((triple14 triple11) -> rule8)) -> rule2)) -> rule4))] Gary is nice.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple10) -> rule1) OR ((triple10 triple12) -> rule2) OR ((triple10 ((triple14 triple11) -> rule8)) -> rule2))] @1: Charlie is green.[(((triple6) -> rule6))] Charlie is young.[(((triple6) -> rule1) OR ((triple6 triple8) -> rule2))]