Anne is cold. Anne is nice. Anne is quiet. Charlie is cold. Charlie is quiet. Charlie is white. Dave is big. If Anne is round then Anne is not quiet. If something is white then it is cold. If something is quiet and not big then it is not nice. All white things are nice. If something is blue and not round then it is nice. If Dave is quiet then Dave is nice. All cold things are not blue. All big things are white.
Charlie is not nice.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Charlie is cold.[(triple4 OR ((triple6) -> rule2))] Charlie is quiet.[(triple5)] Charlie is white.[(triple6)] Dave is big.[(triple7)] @1: Anne is not blue.[(((triple1) -> rule7))] Charlie is nice.[(((triple6) -> rule4))] Charlie is not blue.[(((triple4) -> rule7) OR ((((triple6) -> rule2)) -> rule7))] Dave is white.[(((triple7) -> rule8))] @2: Dave is cold.[(((((triple7) -> rule8)) -> rule2))] Dave is nice.[(((((triple7) -> rule8)) -> rule4))] @3: Dave is not blue.[(((((((triple7) -> rule8)) -> rule2)) -> rule7))]