Anne is quiet. Charlie is not smart. If something is blue then it is cold. If Anne is quiet then Anne is kind. If something is kind and blue then it is big. If something is kind then it is not smart. If Anne is not smart then Anne is not rough. If Charlie is big and Charlie is not smart then Charlie is rough.
Charlie is rough.
@0: Anne is quiet.[(triple1)] Charlie is not smart.[(triple2)] @1: Anne is kind.[(((triple1) -> rule2))] @2: Anne is not smart.[(((((triple1) -> rule2)) -> rule4))] @3: Anne is not rough.[(((((((triple1) -> rule2)) -> rule4)) -> rule5))]