Anne is blue. Erin is big. Erin is furry. Erin is kind. Fiona is big. Fiona is furry. Fiona is quiet. All smart, furry people are young. If someone is quiet and smart then they are blue. If someone is smart and furry then they are young. Smart people are quiet. If someone is quiet and smart then they are young. Blue people are big.
Erin is not blue.
@0: Anne is blue.[(triple1)] Erin is big.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Fiona is big.[(triple5)] Fiona is furry.[(triple6)] Fiona is quiet.[(triple7)] @1: Anne is big.[(((triple1) -> rule6))]