Anne is furry. Anne is not smart. Anne is white. Anne is young. Bob is quiet. Bob is rough. Bob is white. Charlie is quiet. Charlie is young. Fiona is not kind. Fiona is quiet. Fiona is young. If Anne is white then Anne is not rough. All rough things are kind. All white things are kind. If Charlie is rough then Charlie is furry. Kind, furry things are not quiet. If something is young and not kind then it is quiet. If something is young and not kind then it is not smart. If Charlie is not smart then Charlie is quiet.
Fiona is kind.
@0: Anne is furry.[(triple1)] Anne is not smart.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is white.[(triple7)] Charlie is quiet.[(triple8)] Charlie is young.[(triple9)] Fiona is not kind.[(triple10)] Fiona is quiet.[(triple11 OR ((triple12 triple10) -> rule6))] Fiona is young.[(triple12)] @1: Anne is kind.[(((triple3) -> rule3))] Anne is not rough.[(((triple3) -> rule1))] Bob is kind.[(((triple6) -> rule2) OR ((triple7) -> rule3))] Fiona is not smart.[(((triple12 triple10) -> rule7))] @2: Anne is not quiet.[(((((triple3) -> rule3) triple1) -> rule5))]