Bob is big. Bob is red. Bob is smart. Erin is furry. Erin is green. Erin is quiet. Fiona is big. Fiona is furry. Fiona is green. Fiona is smart. Gary is big. Gary is young. All red, quiet things are young. All quiet, big things are furry. If Erin is young and Erin is smart then Erin is big. If something is green and furry then it is red. All big things are green. All quiet, furry things are smart. Quiet, furry things are red. All young, smart things are furry.
Erin is not young.
@0: Bob is big.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Erin is furry.[(triple4)] Erin is green.[(triple5 OR ((((((((triple6 triple4) -> rule7) triple6) -> rule1) ((triple6 triple4) -> rule6)) -> rule3)) -> rule5))] Erin is quiet.[(triple6)] Fiona is big.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9 OR ((triple7) -> rule5))] Fiona is smart.[(triple10)] Gary is big.[(triple11)] Gary is young.[(triple12)] @1: Bob is green.[(((triple1) -> rule5))] Erin is red.[(((triple5 triple4) -> rule4) OR ((triple6 triple4) -> rule7))] Erin is smart.[(((triple6 triple4) -> rule6))] Fiona is red.[(((triple9 triple8) -> rule4) OR ((((triple7) -> rule5) triple8) -> rule4))] Gary is green.[(((triple11) -> rule5))] @2: Erin is young.[(((((triple5 triple4) -> rule4) triple6) -> rule1) OR ((((triple6 triple4) -> rule7) triple6) -> rule1))] @3: Erin is big.[(((((((triple5 triple4) -> rule4) triple6) -> rule1) ((triple6 triple4) -> rule6)) -> rule3) OR ((((((triple6 triple4) -> rule7) triple6) -> rule1) ((triple6 triple4) -> rule6)) -> rule3))]