Anne is not white. Anne is young. Erin is cold. Erin is kind. Erin is not quiet. Erin is not young. Fiona is furry. Fiona is quiet. Fiona is young. Gary is furry. If someone is quiet then they are white. Kind people are cold. All furry, white people are rough. Kind, furry people are not rough. If someone is rough then they are furry. If someone is white and not furry then they are young.
Gary is not quiet.
@0: Anne is not white.[(triple1)] Anne is young.[(triple2)] Erin is cold.[(triple3 OR ((triple4) -> rule2))] Erin is kind.[(triple4)] Erin is not quiet.[(triple5)] Erin is not young.[(triple6)] Fiona is furry.[(triple7)] Fiona is quiet.[(triple8)] Fiona is young.[(triple9)] Gary is furry.[(triple10)] @1: Fiona is white.[(((triple8) -> rule1))] @2: Fiona is rough.[(((triple7 ((triple8) -> rule1)) -> rule3))]