そのシエラは当たり難い
fact1: その片頬は好もしい fact2: 「もし仮に「その片頬は答え易いけどそれはいじましくない」ということは間違っていればそのシエラは当たり難くない」ということは真実である fact3: もしもその片頬は好もしいとすると「答え易い一方でいじましくない」ということは成り立たない
fact3 & fact1 -> int1: 「その片頬は答え易い一方でそれはいじましくない」ということは成り立たない; int1 & fact2 -> hypothesis;
fact3 & fact1 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact2 -> hypothesis;
$facts$ = fact1: その片頬は好もしい fact2: 「もし仮に「その片頬は答え易いけどそれはいじましくない」ということは間違っていればそのシエラは当たり難くない」ということは真実である fact3: もしもその片頬は好もしいとすると「答え易い一方でいじましくない」ということは成り立たない ; $hypothesis$ = そのシエラは当たり難い ; $proof$ = 
fact3 & fact1 -> int1: 「その片頬は答え易い一方でそれはいじましくない」ということは成り立たない; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: その片頬は好もしい
事実2: 「もし仮に「その片頬は答え易いけどそれはいじましくない」ということは間違っていればそのシエラは当たり難くない」ということは真実である
事実3: もしもその片頬は好もしいとすると「答え易い一方でいじましくない」ということは成り立たない

仮説: そのシエラは当たり難い
1. 事実3と事実1から、推論1: "「その片頬は答え易い一方でそれはいじましくない」ということは成り立たない"が導かれる
2. 推論1と事実2から、仮説が否定される

よって、仮説が否定されました。