「「あの社債券発行は祝福しなくてかつそれは仕草でない」ということは成り立つ」ということは誤りだ
fact1: この不届き者は惑わすかあるいはそれは入れ難いかどちらもだ fact2: 「「辛気臭い」ということは成り立つ」ものがあればあの社債券発行はすんごいかまたはそれは居座る fact3: もし仮に「あの社債券発行はすんごい」ということは成り立つとしたらその扁平仙骨は仕草だ fact4: あの社債券発行は居座る fact5: 仮に何らかのものがＸ課長でないとすればバイブレーターであるし加えて祝福する fact6: この不届き者が励ますなら鋭い fact7: すんごいものが居座るとしたら辛気臭くない fact8: その残像は居座る fact9: もしも辛気臭いものが居座らないとしたらそれはすんごい fact10: 仮にこの不届き者が画像検査でないとすればそれは励ますかもしくはそれは禍々しいかもしくは両方である fact11: 仮になんらかの物が鋭いとするとその甘噛みは三箇月後だ fact12: もしなにがしかの物は辛気臭くないならば「祝福しないしまた仕草でない」ということは嘘である fact13: なんらかの物は辛気臭くないなら「祝福するしそれは仕草でない」ということは嘘である fact14: あの社債券発行はすんごい fact15: 仮になんらかの物は三箇月後であるとしたら「Ｘ課長でない」ということは真実だ fact16: この不届き者が禍々しいとしたらそれは鋭い fact17: もし仮にこの不届き者は惑わすかまたは入れ難いとすれば画像検査でない fact18: 「あの社債券発行は祝福しないが仕草である」ということは成り立たない fact19: もしあの社債券発行は辛気臭くないとすると「祝福するがしかし仕草でない」ということは誤っている
fact14 & fact4 -> int1: あの社債券発行はすんごいし加えて居座る; fact7 -> int2: 仮にあの社債券発行がすんごいしその上居座るなら辛気臭くない; int1 & int2 -> int3: あの社債券発行は辛気臭いということはない; fact12 -> int4: あの社債券発行は辛気臭いということはないとすれば「祝福しなくて仕草でない」ということは事実でない; int3 & int4 -> hypothesis;
その扁平仙骨は仕草だ
fact27 -> int5: 「その甘噛みはＸ課長でない」ということは正しいとすればバイブレーターであるしその上それは祝福する; fact23 -> int6: もしその甘噛みが三箇月後だとするとそれはＸ課長でない; fact26 & fact24 -> int7: 「この不届き者は画像検査だということはない」ということは正しい; fact29 & int7 -> int8: この不届き者は励ますかもしくはそれは禍々しいかもしくは両方ともだ; int8 & fact20 & fact28 -> int9: この不届き者は鋭い; int9 -> int10: 「「鋭い」ということは真実である」ものはある; int10 & fact22 -> int11: その甘噛みは三箇月後である; int6 & int11 -> int12: その甘噛みはＸ課長でない; int5 & int12 -> int13: その甘噛みはバイブレーターであるし加えて祝福する; int13 -> int14: その甘噛みは祝福する;
$facts$ = fact1: この不届き者は惑わすかあるいはそれは入れ難いかどちらもだ fact2: 「「辛気臭い」ということは成り立つ」ものがあればあの社債券発行はすんごいかまたはそれは居座る fact3: もし仮に「あの社債券発行はすんごい」ということは成り立つとしたらその扁平仙骨は仕草だ fact4: あの社債券発行は居座る fact5: 仮に何らかのものがＸ課長でないとすればバイブレーターであるし加えて祝福する fact6: この不届き者が励ますなら鋭い fact7: すんごいものが居座るとしたら辛気臭くない fact8: その残像は居座る fact9: もしも辛気臭いものが居座らないとしたらそれはすんごい fact10: 仮にこの不届き者が画像検査でないとすればそれは励ますかもしくはそれは禍々しいかもしくは両方である fact11: 仮になんらかの物が鋭いとするとその甘噛みは三箇月後だ fact12: もしなにがしかの物は辛気臭くないならば「祝福しないしまた仕草でない」ということは嘘である fact13: なんらかの物は辛気臭くないなら「祝福するしそれは仕草でない」ということは嘘である fact14: あの社債券発行はすんごい fact15: 仮になんらかの物は三箇月後であるとしたら「Ｘ課長でない」ということは真実だ fact16: この不届き者が禍々しいとしたらそれは鋭い fact17: もし仮にこの不届き者は惑わすかまたは入れ難いとすれば画像検査でない fact18: 「あの社債券発行は祝福しないが仕草である」ということは成り立たない fact19: もしあの社債券発行は辛気臭くないとすると「祝福するがしかし仕草でない」ということは誤っている ; $hypothesis$ = 「「あの社債券発行は祝福しなくてかつそれは仕草でない」ということは成り立つ」ということは誤りだ ; $proof$ = 
fact14 & fact4 -> int1: あの社債券発行はすんごいし加えて居座る; fact7 -> int2: 仮にあの社債券発行がすんごいしその上居座るなら辛気臭くない; int1 & int2 -> int3: あの社債券発行は辛気臭いということはない; fact12 -> int4: あの社債券発行は辛気臭いということはないとすれば「祝福しなくて仕草でない」ということは事実でない; int3 & int4 -> hypothesis; __PROVED__
事実1: この不届き者は惑わすかあるいはそれは入れ難いかどちらもだ
事実2: 「「辛気臭い」ということは成り立つ」ものがあればあの社債券発行はすんごいかまたはそれは居座る
事実3: もし仮に「あの社債券発行はすんごい」ということは成り立つとしたらその扁平仙骨は仕草だ
事実4: あの社債券発行は居座る
事実5: 仮に何らかのものがＸ課長でないとすればバイブレーターであるし加えて祝福する
事実6: この不届き者が励ますなら鋭い
事実7: すんごいものが居座るとしたら辛気臭くない
事実8: その残像は居座る
事実9: もしも辛気臭いものが居座らないとしたらそれはすんごい
事実10: 仮にこの不届き者が画像検査でないとすればそれは励ますかもしくはそれは禍々しいかもしくは両方である
事実11: 仮になんらかの物が鋭いとするとその甘噛みは三箇月後だ
事実12: もしなにがしかの物は辛気臭くないならば「祝福しないしまた仕草でない」ということは嘘である
事実13: なんらかの物は辛気臭くないなら「祝福するしそれは仕草でない」ということは嘘である
事実14: あの社債券発行はすんごい
事実15: 仮になんらかの物は三箇月後であるとしたら「Ｘ課長でない」ということは真実だ
事実16: この不届き者が禍々しいとしたらそれは鋭い
事実17: もし仮にこの不届き者は惑わすかまたは入れ難いとすれば画像検査でない
事実18: 「あの社債券発行は祝福しないが仕草である」ということは成り立たない
事実19: もしあの社債券発行は辛気臭くないとすると「祝福するがしかし仕草でない」ということは誤っている

仮説: 「「あの社債券発行は祝福しなくてかつそれは仕草でない」ということは成り立つ」ということは誤りだ
1. 事実14と事実4から、推論1: "あの社債券発行はすんごいし加えて居座る"が導かれる
2. 事実7から、推論2: "仮にあの社債券発行がすんごいしその上居座るなら辛気臭くない"が導かれる
3. 推論1と推論2から、推論3: "あの社債券発行は辛気臭いということはない"が導かれる
4. 事実12から、推論4: "あの社債券発行は辛気臭いということはないとすれば「祝福しなくて仕草でない」ということは事実でない"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。