Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is not white. Anne is young. Dave is not blue. Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Dave is white. Dave is young. Young people are nice. Kind, blue people are quiet. If someone is cold and young then they are quiet. Blue, white people are quiet. If Anne is cold then Anne is not white. If Anne is kind then Anne is quiet.
Dave is not nice.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple7) -> rule1))] Anne is not white.[(triple6 OR ((triple2) -> rule5))] Anne is quiet.[(triple5 OR ((triple3) -> rule6) OR ((triple2 triple7) -> rule3) OR ((triple3 triple1) -> rule2))] Anne is young.[(triple7)] Dave is cold.[(triple9)] Dave is kind.[(triple10)] Dave is nice.[(triple11 OR ((triple14) -> rule1))] Dave is not blue.[(triple8)] Dave is quiet.[(triple12 OR ((triple9 triple14) -> rule3))] Dave is white.[(triple13)] Dave is young.[(triple14)]