あのカメラは戻り易くない
fact1: あの両朝合併は被害防除でない fact2: もしもあの両朝合併が緊急避難ピルでないならあのカメラは刑期でないし美し過ぎるということはない fact3: 仮になんらかのものは刑期でないし美し過ぎないとするとそれは被害防除でない fact4: もし仮になにがしかの物は被害防除でないとしたらそれは戻り易くない fact5: 「もしもあの両朝合併が美し過ぎるならあのカメラは戻り易い」ということは事実である fact6: もし「とあるものは皇館でないかあるいは滾る」ということは成り立たないとすれば「それは美し過ぎる」ということは真実である fact7: もしあの両朝合併は被害防除でないなら「皇館でないか滾るか両方である」ということは確かであるということはない fact8: もし仮に戻り易い物は刑期でないとするとそれは美し過ぎない
fact7 & fact1 -> int1: 「あの両朝合併は皇館であるということはないかそれは滾るかどちらもだ」ということは偽である; fact6 -> int2: もしも「「あの両朝合併は皇館でないか滾るかまたはどちらもである」ということは成り立たない」ということは偽でないならば「美し過ぎる」ということは真実だ; int1 & int2 -> int3: あの両朝合併は美し過ぎる; int3 & fact5 -> hypothesis;
fact7 & fact1 -> int1: ¬(¬{AA}{a} v {AB}{a}); fact6 -> int2: ¬(¬{AA}{a} v {AB}{a}) -> {B}{a}; int1 & int2 -> int3: {B}{a}; int3 & fact5 -> hypothesis;
この隆鼻術は滾る
fact9 -> int4: もしあの両朝合併が戻り易いがしかし刑期でないなら美し過ぎない;
$facts$ = fact1: あの両朝合併は被害防除でない fact2: もしもあの両朝合併が緊急避難ピルでないならあのカメラは刑期でないし美し過ぎるということはない fact3: 仮になんらかのものは刑期でないし美し過ぎないとするとそれは被害防除でない fact4: もし仮になにがしかの物は被害防除でないとしたらそれは戻り易くない fact5: 「もしもあの両朝合併が美し過ぎるならあのカメラは戻り易い」ということは事実である fact6: もし「とあるものは皇館でないかあるいは滾る」ということは成り立たないとすれば「それは美し過ぎる」ということは真実である fact7: もしあの両朝合併は被害防除でないなら「皇館でないか滾るか両方である」ということは確かであるということはない fact8: もし仮に戻り易い物は刑期でないとするとそれは美し過ぎない ; $hypothesis$ = あのカメラは戻り易くない ; $proof$ = 
fact7 & fact1 -> int1: 「あの両朝合併は皇館であるということはないかそれは滾るかどちらもだ」ということは偽である; fact6 -> int2: もしも「「あの両朝合併は皇館でないか滾るかまたはどちらもである」ということは成り立たない」ということは偽でないならば「美し過ぎる」ということは真実だ; int1 & int2 -> int3: あの両朝合併は美し過ぎる; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: あの両朝合併は被害防除でない
事実2: もしもあの両朝合併が緊急避難ピルでないならあのカメラは刑期でないし美し過ぎるということはない
事実3: 仮になんらかのものは刑期でないし美し過ぎないとするとそれは被害防除でない
事実4: もし仮になにがしかの物は被害防除でないとしたらそれは戻り易くない
事実5: 「もしもあの両朝合併が美し過ぎるならあのカメラは戻り易い」ということは事実である
事実6: もし「とあるものは皇館でないかあるいは滾る」ということは成り立たないとすれば「それは美し過ぎる」ということは真実である
事実7: もしあの両朝合併は被害防除でないなら「皇館でないか滾るか両方である」ということは確かであるということはない
事実8: もし仮に戻り易い物は刑期でないとするとそれは美し過ぎない

仮説: あのカメラは戻り易くない
1. 事実7と事実1から、推論1: "「あの両朝合併は皇館であるということはないかそれは滾るかどちらもだ」ということは偽である"が導かれる
2. 事実6から、推論2: "もしも「「あの両朝合併は皇館でないか滾るかまたはどちらもである」ということは成り立たない」ということは偽でないならば「美し過ぎる」ということは真実だ"が導かれる
3. 推論1と推論2から、推論3: "あの両朝合併は美し過ぎる"が導かれる
4. 推論3と事実5から、仮説が否定される

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