Anne is blue. Anne is furry. Anne is nice. Anne is smart. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is smart. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is white. Furry things are smart. Nice, furry things are quiet.
Anne is not rough.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4 OR ((triple2) -> rule1))] Charlie is blue.[(triple5)] Charlie is furry.[(triple6)] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8 OR ((triple7 triple6) -> rule2))] Charlie is smart.[(triple9 OR ((triple6) -> rule1))] Fiona is blue.[(triple10)] Fiona is furry.[(triple11)] Fiona is nice.[(triple12)] Fiona is quiet.[(triple13 OR ((triple12 triple11) -> rule2))] Fiona is smart.[(triple14 OR ((triple11) -> rule1))] Fiona is white.[(triple15)] @1: Anne is quiet.[(((triple3 triple2) -> rule2))]