Anne is not red. Bob is quiet. Dave is not smart. Fiona is not smart. All rough things are not smart. If something is rough and nice then it is smart. All nice, furry things are not red. If something is big and not furry then it is not nice. All nice, furry things are not quiet. If Anne is not big then Anne is nice. If Anne is big and Anne is nice then Anne is rough. If something is quiet then it is rough.
Anne is not red.
@0: Anne is not red.[(triple1)] Bob is quiet.[(triple2)] Dave is not smart.[(triple3)] Fiona is not smart.[(triple4)] @1: Bob is rough.[(((triple2) -> rule8))] @2: Bob is not smart.[(((((triple2) -> rule8)) -> rule1))]