Anne is quiet. Dave is not big. Harry is quiet. Smart things are quiet. If something is blue and not big then it is white. All nice things are white. If something is quiet then it is nice. If something is big and nice then it is blue. Big things are blue. If something is big and smart then it is blue. If Anne is white and Anne is nice then Anne is not smart.
Harry is big.
@0: Anne is quiet.[(triple1)] Dave is not big.[(triple2)] Harry is quiet.[(triple3)] @1: Anne is nice.[(((triple1) -> rule4))] Harry is nice.[(((triple3) -> rule4))] @2: Anne is white.[(((((triple1) -> rule4)) -> rule3))] Harry is white.[(((((triple3) -> rule4)) -> rule3))] @3: Anne is not smart.[(((((((triple1) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule8))]