この閣僚は浅ましくないかそれは変われるかもしくは両方ともである
fact1: 退学処分は手交さないかまたは偏移するかどちらもである fact2: 「その深炒り豆は燐酸基転移酵素でないがしかし退学処分だ」ということは嘘である fact3: もしもこの緑色野菜が気恥ずかしいならばその深炒り豆は燐酸基転移酵素でない fact4: その深炒り豆は退学処分であるなら変われない fact5: もし「何かは燐酸基転移酵素でないしまたそれは退学処分でない」ということは事実でないとすると変われるということはない fact6: 仮になんらかの物が気恥ずかしいならば変われる fact7: もしなにがしかのものが当然過ぎるとしたら痛々しくないし浅ましい fact8: 仮に何かは卵管だがしかし当然過ぎないとするとあのバーラウンジは痛々しい fact9: もしも痛々しくないし加えて浅ましい物があるとしたらその深炒り豆は気恥ずかしい fact10: 心無いものは隠し持たないかもしくは縮み上がるかもしくは両方ともだ fact11: もし「「退学処分でなくて人懐こくない」ということは成り立つということはない」ものがあればあのバーラウンジは燐酸基転移酵素だ fact12: あのバーラウンジは手交するかもしくはそれは偏移する fact13: もしあのバーラウンジが痛々しいならそれは気恥ずかしくない fact14: 「卵管でなくて当然過ぎない」ものはある fact15: もしあのバーラウンジは退学処分でないならば「その深炒り豆は燐酸基転移酵素でなくてそれに退学処分でない」ということは事実と異なる fact16: なにがしかのものが卵管であるということはないしそれが当然過ぎないとすればあのバーラウンジは痛々しい fact17: もしも「あのプロキシーサーバーは卵管でないかもしくはそれは痛々しい」ということは成り立たないならこの緑色野菜は痛々しい fact18: 「仮にあのバーラウンジが手交さないか偏移するかまたはどちらもだとしたらあのバーラウンジは人懐こい」ということは嘘でない fact19: もしその深炒り豆は変われないとしたら「この閣僚は浅ましくないかそれは変われる」ということは間違っている fact20: その深炒り豆が退学処分であるならこの閣僚は浅ましくないかもしくは変われる fact21: 仮にとある物は変われるなら「退学処分でなくて人懐こくない」ということは成り立つということはない fact22: 痛々しいものは人懐こくないし気恥ずかしくない
fact1 -> int1: 仮にあのバーラウンジが退学処分であるとしたら手交さないかもしくは偏移する; void -> assump1: 以下のように仮定する。あのバーラウンジは退学処分だ; int1 & assump1 -> int2: あのバーラウンジは手交さないかそれは偏移するかもしくは両方ともだ; int2 & fact18 -> int3: 「あのバーラウンジは人懐こい」ということは成り立つ; fact22 -> int4: もし仮にあのバーラウンジが痛々しいなら人懐こくないしさらに気恥ずかしいということはない; fact14 & fact16 -> int5: あのバーラウンジは痛々しい; int4 & int5 -> int6: あのバーラウンジは人懐こくないしさらに気恥ずかしくない; int6 -> int7: あのバーラウンジは人懐こくない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「あのバーラウンジは退学処分でない」ということは成り立つ; int9 & fact15 -> int10: 「その深炒り豆は燐酸基転移酵素でなくて更に退学処分でない」ということは間違いである; fact5 -> int11: 「その深炒り豆は燐酸基転移酵素でなくてまたそれは退学処分でない」ということは間違っていればそれは変われるということはない; int10 & int11 -> int12: 「その深炒り豆は変われない」ということは成り立つ; int12 & fact19 -> hypothesis;
この閣僚は浅ましくないかあるいは変われるかもしくはどちらもである
$facts$ = fact1: 退学処分は手交さないかまたは偏移するかどちらもである fact2: 「その深炒り豆は燐酸基転移酵素でないがしかし退学処分だ」ということは嘘である fact3: もしもこの緑色野菜が気恥ずかしいならばその深炒り豆は燐酸基転移酵素でない fact4: その深炒り豆は退学処分であるなら変われない fact5: もし「何かは燐酸基転移酵素でないしまたそれは退学処分でない」ということは事実でないとすると変われるということはない fact6: 仮になんらかの物が気恥ずかしいならば変われる fact7: もしなにがしかのものが当然過ぎるとしたら痛々しくないし浅ましい fact8: 仮に何かは卵管だがしかし当然過ぎないとするとあのバーラウンジは痛々しい fact9: もしも痛々しくないし加えて浅ましい物があるとしたらその深炒り豆は気恥ずかしい fact10: 心無いものは隠し持たないかもしくは縮み上がるかもしくは両方ともだ fact11: もし「「退学処分でなくて人懐こくない」ということは成り立つということはない」ものがあればあのバーラウンジは燐酸基転移酵素だ fact12: あのバーラウンジは手交するかもしくはそれは偏移する fact13: もしあのバーラウンジが痛々しいならそれは気恥ずかしくない fact14: 「卵管でなくて当然過ぎない」ものはある fact15: もしあのバーラウンジは退学処分でないならば「その深炒り豆は燐酸基転移酵素でなくてそれに退学処分でない」ということは事実と異なる fact16: なにがしかのものが卵管であるということはないしそれが当然過ぎないとすればあのバーラウンジは痛々しい fact17: もしも「あのプロキシーサーバーは卵管でないかもしくはそれは痛々しい」ということは成り立たないならこの緑色野菜は痛々しい fact18: 「仮にあのバーラウンジが手交さないか偏移するかまたはどちらもだとしたらあのバーラウンジは人懐こい」ということは嘘でない fact19: もしその深炒り豆は変われないとしたら「この閣僚は浅ましくないかそれは変われる」ということは間違っている fact20: その深炒り豆が退学処分であるならこの閣僚は浅ましくないかもしくは変われる fact21: 仮にとある物は変われるなら「退学処分でなくて人懐こくない」ということは成り立つということはない fact22: 痛々しいものは人懐こくないし気恥ずかしくない ; $hypothesis$ = この閣僚は浅ましくないかそれは変われるかもしくは両方ともである ; $proof$ = 
fact1 -> int1: 仮にあのバーラウンジが退学処分であるとしたら手交さないかもしくは偏移する; void -> assump1: 以下のように仮定する。あのバーラウンジは退学処分だ; int1 & assump1 -> int2: あのバーラウンジは手交さないかそれは偏移するかもしくは両方ともだ; int2 & fact18 -> int3: 「あのバーラウンジは人懐こい」ということは成り立つ; fact22 -> int4: もし仮にあのバーラウンジが痛々しいなら人懐こくないしさらに気恥ずかしいということはない; fact14 & fact16 -> int5: あのバーラウンジは痛々しい; int4 & int5 -> int6: あのバーラウンジは人懐こくないしさらに気恥ずかしくない; int6 -> int7: あのバーラウンジは人懐こくない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「あのバーラウンジは退学処分でない」ということは成り立つ; int9 & fact15 -> int10: 「その深炒り豆は燐酸基転移酵素でなくて更に退学処分でない」ということは間違いである; fact5 -> int11: 「その深炒り豆は燐酸基転移酵素でなくてまたそれは退学処分でない」ということは間違っていればそれは変われるということはない; int10 & int11 -> int12: 「その深炒り豆は変われない」ということは成り立つ; int12 & fact19 -> hypothesis; __DISPROVED__
事実1: 退学処分は手交さないかまたは偏移するかどちらもである
事実2: 「その深炒り豆は燐酸基転移酵素でないがしかし退学処分だ」ということは嘘である
事実3: もしもこの緑色野菜が気恥ずかしいならばその深炒り豆は燐酸基転移酵素でない
事実4: その深炒り豆は退学処分であるなら変われない
事実5: もし「何かは燐酸基転移酵素でないしまたそれは退学処分でない」ということは事実でないとすると変われるということはない
事実6: 仮になんらかの物が気恥ずかしいならば変われる
事実7: もしなにがしかのものが当然過ぎるとしたら痛々しくないし浅ましい
事実8: 仮に何かは卵管だがしかし当然過ぎないとするとあのバーラウンジは痛々しい
事実9: もしも痛々しくないし加えて浅ましい物があるとしたらその深炒り豆は気恥ずかしい
事実10: 心無いものは隠し持たないかもしくは縮み上がるかもしくは両方ともだ
事実11: もし「「退学処分でなくて人懐こくない」ということは成り立つということはない」ものがあればあのバーラウンジは燐酸基転移酵素だ
事実12: あのバーラウンジは手交するかもしくはそれは偏移する
事実13: もしあのバーラウンジが痛々しいならそれは気恥ずかしくない
事実14: 「卵管でなくて当然過ぎない」ものはある
事実15: もしあのバーラウンジは退学処分でないならば「その深炒り豆は燐酸基転移酵素でなくてそれに退学処分でない」ということは事実と異なる
事実16: なにがしかのものが卵管であるということはないしそれが当然過ぎないとすればあのバーラウンジは痛々しい
事実17: もしも「あのプロキシーサーバーは卵管でないかもしくはそれは痛々しい」ということは成り立たないならこの緑色野菜は痛々しい
事実18: 「仮にあのバーラウンジが手交さないか偏移するかまたはどちらもだとしたらあのバーラウンジは人懐こい」ということは嘘でない
事実19: もしその深炒り豆は変われないとしたら「この閣僚は浅ましくないかそれは変われる」ということは間違っている
事実20: その深炒り豆が退学処分であるならこの閣僚は浅ましくないかもしくは変われる
事実21: 仮にとある物は変われるなら「退学処分でなくて人懐こくない」ということは成り立つということはない
事実22: 痛々しいものは人懐こくないし気恥ずかしくない

仮説: この閣僚は浅ましくないかそれは変われるかもしくは両方ともである
1. 事実1から、推論1: "仮にあのバーラウンジが退学処分であるとしたら手交さないかもしくは偏移する"が導かれる
2. 仮定1: 以下のように仮定する。あのバーラウンジは退学処分だ
3. 推論1と仮定1から、推論2: "あのバーラウンジは手交さないかそれは偏移するかもしくは両方ともだ"が導かれる
4. 推論2と事実18から、推論3: "「あのバーラウンジは人懐こい」ということは成り立つ"が導かれる
5. 事実22から、推論4: "もし仮にあのバーラウンジが痛々しいなら人懐こくないしさらに気恥ずかしいということはない"が導かれる
6. 事実14と事実16から、推論5: "あのバーラウンジは痛々しい"が導かれる
7. 推論4と推論5から、推論6: "あのバーラウンジは人懐こくないしさらに気恥ずかしくない"が導かれる
8. 推論6から、推論7: "あのバーラウンジは人懐こくない"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「あのバーラウンジは退学処分でない」ということは成り立つ"が導かれる
11. 推論9と事実15から、推論10: "「その深炒り豆は燐酸基転移酵素でなくて更に退学処分でない」ということは間違いである"が導かれる
12. 事実5から、推論11: "「その深炒り豆は燐酸基転移酵素でなくてまたそれは退学処分でない」ということは間違っていればそれは変われるということはない"が導かれる
13. 推論10と推論11から、推論12: "「その深炒り豆は変われない」ということは成り立つ"が導かれる
14. 推論12と事実19から、仮説が否定される

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