「その論理療法は嬉しくないけれどそれは悔しい」ということは事実と異なる
fact1: 「あの開催国は騒がしい一方で大義名分でない」ということは間違いだ fact2: もしもその論理療法がめんど臭いとすると顧客・市場である fact3: あの後ろ中心が顧客・市場でないならばその論理療法はめんど臭くないしさらにクリスマスプレゼントでない fact4: 「あの開催国は含有するがそれは心理的変化でない」ということは誤っている fact5: もしもこの大幅減は良識でないなら「あの後ろ中心は含有するし顧客・市場だ」ということは本当でない fact6: もし「何かは騒がしいがしかし大義名分でない」ということは成り立たないとしたらそれは大義名分だ fact7: その論理療法は悔しい fact8: その現代彫刻が芳しいが両側手でないとするとあの開催国は芳しい fact9: 仮にこの大幅減がクリスマスプレゼントならばあの論理療法はめんど臭い fact10: 「「それは芳しくないしさらに良識でない」ということは成り立つという物はない」ということは本当である fact11: 「あの開催国は芳しくないし良識でない」ということは成り立たないとしたら「含有する」ということは嘘でない fact12: もしもとある物はめんど臭いということはないならば「それは嬉しくなくてしかもそれは悔しい」ということは成り立たない fact13: もし仮にその論理療法が嬉しいし顧客・市場だとしたらあの開催国は含有しない fact14: 仮に「あの後ろ中心は心理的変化だが掛け易くない」ということは成り立たないならこの大幅減はクリスマスプレゼントだ fact15: 「あの後ろ中心は心理的変化であって加えて掛け易くない」ということは成り立たない fact16: もし仮に「なにがしかのものは含有するし加えて顧客・市場だ」ということは成り立たないとするとそれは顧客・市場だということはない
fact14 & fact15 -> int1: この大幅減はクリスマスプレゼントだ; int1 & fact9 -> int2: その論理療法はめんど臭い; int2 & fact2 -> int3: その論理療法は顧客・市場である; void -> assump1: 以下のように仮定する。その論理療法は嬉しい; int3 & assump1 -> int4: その論理療法は嬉しいしその上顧客・市場だ; int4 & fact13 -> int5: あの開催国は含有しない; fact10 -> int6: 「あの開催国は芳しくないしそれは良識でない」ということは嘘である; fact11 & int6 -> int7: 「あの開催国は含有する」ということは成り立つ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「その論理療法は嬉しいということはない」ということは成り立つ; int9 & fact7 -> hypothesis;
「その論理療法は嬉しくないが悔しい」ということは嘘である
fact21 -> int10: その論理療法はめんど臭くないとすれば「嬉しくないが悔しい」ということは成り立たない; fact18 -> int11: 仮に「あの後ろ中心は含有するしまた顧客・市場だ」ということは成り立つということはないとするとそれは顧客・市場でない; fact17 -> int12: もしも「あの開催国は騒がしいけど大義名分でない」ということは成り立たないならばそれは大義名分だ; int12 & fact20 -> int13: 「あの開催国は大義名分でない」ということは成り立たない;
$facts$ = fact1: 「あの開催国は騒がしい一方で大義名分でない」ということは間違いだ fact2: もしもその論理療法がめんど臭いとすると顧客・市場である fact3: あの後ろ中心が顧客・市場でないならばその論理療法はめんど臭くないしさらにクリスマスプレゼントでない fact4: 「あの開催国は含有するがそれは心理的変化でない」ということは誤っている fact5: もしもこの大幅減は良識でないなら「あの後ろ中心は含有するし顧客・市場だ」ということは本当でない fact6: もし「何かは騒がしいがしかし大義名分でない」ということは成り立たないとしたらそれは大義名分だ fact7: その論理療法は悔しい fact8: その現代彫刻が芳しいが両側手でないとするとあの開催国は芳しい fact9: 仮にこの大幅減がクリスマスプレゼントならばあの論理療法はめんど臭い fact10: 「「それは芳しくないしさらに良識でない」ということは成り立つという物はない」ということは本当である fact11: 「あの開催国は芳しくないし良識でない」ということは成り立たないとしたら「含有する」ということは嘘でない fact12: もしもとある物はめんど臭いということはないならば「それは嬉しくなくてしかもそれは悔しい」ということは成り立たない fact13: もし仮にその論理療法が嬉しいし顧客・市場だとしたらあの開催国は含有しない fact14: 仮に「あの後ろ中心は心理的変化だが掛け易くない」ということは成り立たないならこの大幅減はクリスマスプレゼントだ fact15: 「あの後ろ中心は心理的変化であって加えて掛け易くない」ということは成り立たない fact16: もし仮に「なにがしかのものは含有するし加えて顧客・市場だ」ということは成り立たないとするとそれは顧客・市場だということはない ; $hypothesis$ = 「その論理療法は嬉しくないけれどそれは悔しい」ということは事実と異なる ; $proof$ = 
fact14 & fact15 -> int1: この大幅減はクリスマスプレゼントだ; int1 & fact9 -> int2: その論理療法はめんど臭い; int2 & fact2 -> int3: その論理療法は顧客・市場である; void -> assump1: 以下のように仮定する。その論理療法は嬉しい; int3 & assump1 -> int4: その論理療法は嬉しいしその上顧客・市場だ; int4 & fact13 -> int5: あの開催国は含有しない; fact10 -> int6: 「あの開催国は芳しくないしそれは良識でない」ということは嘘である; fact11 & int6 -> int7: 「あの開催国は含有する」ということは成り立つ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「その論理療法は嬉しいということはない」ということは成り立つ; int9 & fact7 -> hypothesis; __DISPROVED__
事実1: 「あの開催国は騒がしい一方で大義名分でない」ということは間違いだ
事実2: もしもその論理療法がめんど臭いとすると顧客・市場である
事実3: あの後ろ中心が顧客・市場でないならばその論理療法はめんど臭くないしさらにクリスマスプレゼントでない
事実4: 「あの開催国は含有するがそれは心理的変化でない」ということは誤っている
事実5: もしもこの大幅減は良識でないなら「あの後ろ中心は含有するし顧客・市場だ」ということは本当でない
事実6: もし「何かは騒がしいがしかし大義名分でない」ということは成り立たないとしたらそれは大義名分だ
事実7: その論理療法は悔しい
事実8: その現代彫刻が芳しいが両側手でないとするとあの開催国は芳しい
事実9: 仮にこの大幅減がクリスマスプレゼントならばあの論理療法はめんど臭い
事実10: 「「それは芳しくないしさらに良識でない」ということは成り立つという物はない」ということは本当である
事実11: 「あの開催国は芳しくないし良識でない」ということは成り立たないとしたら「含有する」ということは嘘でない
事実12: もしもとある物はめんど臭いということはないならば「それは嬉しくなくてしかもそれは悔しい」ということは成り立たない
事実13: もし仮にその論理療法が嬉しいし顧客・市場だとしたらあの開催国は含有しない
事実14: 仮に「あの後ろ中心は心理的変化だが掛け易くない」ということは成り立たないならこの大幅減はクリスマスプレゼントだ
事実15: 「あの後ろ中心は心理的変化であって加えて掛け易くない」ということは成り立たない
事実16: もし仮に「なにがしかのものは含有するし加えて顧客・市場だ」ということは成り立たないとするとそれは顧客・市場だということはない

仮説: 「その論理療法は嬉しくないけれどそれは悔しい」ということは事実と異なる
1. 事実14と事実15から、推論1: "この大幅減はクリスマスプレゼントだ"が導かれる
2. 推論1と事実9から、推論2: "その論理療法はめんど臭い"が導かれる
3. 推論2と事実2から、推論3: "その論理療法は顧客・市場である"が導かれる
4. 仮定1: 以下のように仮定する。その論理療法は嬉しい
5. 推論3と仮定1から、推論4: "その論理療法は嬉しいしその上顧客・市場だ"が導かれる
6. 推論4と事実13から、推論5: "あの開催国は含有しない"が導かれる
7. 事実10から、推論6: "「あの開催国は芳しくないしそれは良識でない」ということは嘘である"が導かれる
8. 事実11と推論6から、推論7: "「あの開催国は含有する」ということは成り立つ"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「その論理療法は嬉しいということはない」ということは成り立つ"が導かれる
11. 推論9と事実7から、仮説が否定される

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