Anne is red. Anne is round. Bob is big. Bob is blue. Bob is cold. Bob is nice. Bob is not red. Bob is round. Bob is young. Dave is big. Dave is blue. Dave is cold. Dave is not nice. Dave is red. Dave is round. Dave is not young. Red things are round. If something is cold and not red then it is big. If something is cold then it is big. If something is round and not big then it is blue. If something is cold and not young then it is blue. Red things are blue.
Anne is not blue.
@0: Anne is red.[(triple1)] Anne is round.[(triple2 OR ((triple1) -> rule1))] Bob is big.[(triple3 OR ((triple5) -> rule3) OR ((triple5 triple7) -> rule2))] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is nice.[(triple6)] Bob is not red.[(triple7)] Bob is round.[(triple8)] Bob is young.[(triple9)] Dave is big.[(triple10 OR ((triple12) -> rule3))] Dave is blue.[(triple11 OR ((triple14) -> rule6) OR ((triple12 triple16) -> rule5))] Dave is cold.[(triple12)] Dave is not nice.[(triple13)] Dave is not young.[(triple16)] Dave is red.[(triple14)] Dave is round.[(triple15 OR ((triple14) -> rule1))] @1: Anne is blue.[(((triple1) -> rule6))]