Anne is furry. Anne is nice. Anne is red. Anne is smart. Bob is green. Bob is nice. Charlie is furry. Charlie is quiet. Charlie is red. Dave is cold. Dave is red. Dave is smart. If Anne is red and Anne is quiet then Anne is nice. Cold things are quiet.
Anne is not furry.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Bob is green.[(triple5)] Bob is nice.[(triple6)] Charlie is furry.[(triple7)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Dave is cold.[(triple10)] Dave is red.[(triple11)] Dave is smart.[(triple12)] @1: Dave is quiet.[(((triple10) -> rule2))]