Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is white. Anne is young. Bob is cold. Bob is furry. Bob is not green. Bob is nice. Bob is quiet. Bob is white. Bob is young. Dave is green. If Dave is furry then Dave is nice. If something is cold then it is white. Nice things are cold.
Dave is quiet.
@0: Anne is cold.[(triple1 OR ((triple4) -> rule3))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is white.[(triple6 OR ((triple1) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] Anne is young.[(triple7)] Bob is cold.[(triple8 OR ((triple11) -> rule3))] Bob is furry.[(triple9)] Bob is nice.[(triple11)] Bob is not green.[(triple10)] Bob is quiet.[(triple12)] Bob is white.[(triple13 OR ((triple8) -> rule2) OR ((((triple11) -> rule3)) -> rule2))] Bob is young.[(triple14)] Dave is green.[(triple15)]