Anne is cold. Anne is not furry. Anne is green. Anne is quiet. Anne is round. Anne is not white. Bob is big. Bob is furry. Bob is green. Bob is not white. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Dave is round. Dave is not white. All cold things are green. All cold things are not white. If something is green and white then it is cold. If something is green and not cold then it is round. If something is quiet then it is round. If something is cold and not furry then it is big. If something is cold then it is big. If something is furry and not green then it is big.
Bob is quiet.
@0: Anne is cold.[(triple1)] Anne is green.[(triple3 OR ((triple1) -> rule1))] Anne is not furry.[(triple2)] Anne is not white.[(triple6 OR ((triple1) -> rule2))] Anne is quiet.[(triple4)] Anne is round.[(triple5 OR ((triple4) -> rule5))] Bob is big.[(triple7)] Bob is furry.[(triple8)] Bob is green.[(triple9)] Bob is not white.[(triple10)] Dave is cold.[(triple11)] Dave is furry.[(triple12)] Dave is green.[(triple13 OR ((triple11) -> rule1))] Dave is not white.[(triple16 OR ((triple11) -> rule2))] Dave is quiet.[(triple14)] Dave is round.[(triple15 OR ((triple14) -> rule5))] @1: Anne is big.[(((triple1) -> rule7) OR ((triple1 triple2) -> rule6))] Dave is big.[(((triple11) -> rule7))]