Anne is furry. Anne is green. Charlie is furry. Charlie is rough. Erin is green. Erin is nice. Erin is quiet. Erin is young. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is young. If Anne is quiet then Anne is young. Young, furry people are big. If Fiona is quiet then Fiona is furry. If someone is big then they are furry. If Anne is nice and Anne is furry then Anne is rough. Rough, quiet people are nice.
Erin is nice.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Charlie is furry.[(triple3)] Charlie is rough.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple6)] Erin is quiet.[(triple7)] Erin is young.[(triple8)] Fiona is furry.[(triple9 OR ((triple10) -> rule3))] Fiona is quiet.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is big.[(((triple12 triple9) -> rule2) OR ((triple12 ((triple10) -> rule3)) -> rule2))] Fiona is nice.[(((triple11 triple10) -> rule6))]