Anne is cold. Bob is cold. Bob is green. Bob is quiet. Charlie is not cold. Charlie is furry. Charlie is not green. Charlie is quiet. Erin is furry. Erin is smart. If something is furry and rough then it is green. Round things are quiet. If something is quiet and smart then it is not cold. If something is rough then it is furry. Smart, furry things are round. If Anne is smart and Anne is green then Anne is rough.
Erin is not quiet.
@0: Anne is cold.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Charlie is furry.[(triple6)] Charlie is not cold.[(triple5)] Charlie is not green.[(triple7)] Charlie is quiet.[(triple8)] Erin is furry.[(triple9)] Erin is smart.[(triple10)] @1: Erin is round.[(((triple10 triple9) -> rule5))] @2: Erin is quiet.[(((((triple10 triple9) -> rule5)) -> rule2))] @3: Erin is not cold.[(((((((triple10 triple9) -> rule5)) -> rule2) triple10) -> rule3))]