Anne is furry. Anne is nice. Anne is not smart. Bob is cold. Bob is furry. Bob is kind. Bob is not nice. Bob is quiet. Bob is smart. Bob is young. Dave is nice. Dave is smart. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is smart. If something is young then it is not nice. Cold things are quiet. Nice, furry things are cold. If Bob is nice then Bob is cold. If something is young and not cold then it is kind. Quiet things are kind.
Fiona is not nice.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is not smart.[(triple3)] Bob is cold.[(triple4)] Bob is furry.[(triple5)] Bob is kind.[(triple6 OR ((triple8) -> rule6) OR ((((triple4) -> rule2)) -> rule6))] Bob is not nice.[(triple7 OR ((triple10) -> rule1))] Bob is quiet.[(triple8 OR ((triple4) -> rule2))] Bob is smart.[(triple9)] Bob is young.[(triple10)] Dave is nice.[(triple11)] Dave is smart.[(triple12)] Fiona is cold.[(triple13)] Fiona is furry.[(triple14)] Fiona is quiet.[(triple15 OR ((triple13) -> rule2))] Fiona is smart.[(triple16)] @1: Anne is cold.[(((triple2 triple1) -> rule3))] Fiona is kind.[(((triple15) -> rule6) OR ((((triple13) -> rule2)) -> rule6))] @2: Anne is quiet.[(((((triple2 triple1) -> rule3)) -> rule2))] @3: Anne is kind.[(((((((triple2 triple1) -> rule3)) -> rule2)) -> rule6))]