Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is smart. Bob is blue. Bob is cold. Bob is kind. Bob is nice. Bob is quiet. Dave is quiet. Dave is red. Dave is smart. Fiona is blue. Fiona is cold. Kind things are quiet. If something is nice then it is quiet.
Bob is not quiet.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple2) -> rule1) OR ((triple3) -> rule2))] Anne is red.[(triple5)] Anne is smart.[(triple6)] Bob is blue.[(triple7)] Bob is cold.[(triple8)] Bob is kind.[(triple9)] Bob is nice.[(triple10)] Bob is quiet.[(triple11 OR ((triple10) -> rule2) OR ((triple9) -> rule1))] Dave is quiet.[(triple12)] Dave is red.[(triple13)] Dave is smart.[(triple14)] Fiona is blue.[(triple15)] Fiona is cold.[(triple16)]