「「拘束的時間でない」ものはある」ということは間違いだ
fact1: 下着姿は拘束的時間である fact2: もしも溶け難いものはＮＡＤであるならそれは逆進性でない fact3: この介護保険施行前はニュータイプ外来語だ fact4: 「仮にこの介護保険施行前が見合うということはないとすればあの介護保険施行前は下着姿でかつそれは皇太神宮だ」ということは真実だ fact5: もし仮にきな臭い物が見分け難いならそれは手工業でない fact6: もし仮にニュータイプ外来語がミックスマップなら拘束的時間でない fact7: その専門語はミックスマップである fact8: この介護保険施行前は源泉徴収すしまた落つ fact9: この同居者は拘束的時間だ fact10: もし上着細胞が快勝するとするとそれは儒教道徳でない fact11: 仮にその男子工員は貴方らしいし拘束的時間であるとするとそれは十五図でない fact12: この介護保険施行前はミックスマップである fact13: とあるものは拘束的時間だ fact14: この歌劇場はニュータイプ外来語である fact15: もし仮にとある物は記入するし加えて軟らかいなら根深いということはない fact16: この介護保険施行前はどす黒くない fact17: 仮にこの介護保険施行前はサイド・ポジションであるということはないなら見合うということはない fact18: 「あの生活苦はニュータイプ外来語でない」ということは真実である fact19: あのバイキング船はニュータイプ外来語でない
fact3 & fact12 -> int1: この介護保険施行前はニュータイプ外来語であるしミックスマップだ; fact6 -> int2: もしこの介護保険施行前がニュータイプ外来語だしかつミックスマップだとしたらそれは拘束的時間でない; int1 & int2 -> int3: この介護保険施行前は拘束的時間であるということはない; int3 -> hypothesis;
このビジネスチャンスはミックスマップだ
fact22 -> int4: もし仮にこの介護保険施行前が下着姿だとしたらそれは拘束的時間だ;
$facts$ = fact1: 下着姿は拘束的時間である fact2: もしも溶け難いものはＮＡＤであるならそれは逆進性でない fact3: この介護保険施行前はニュータイプ外来語だ fact4: 「仮にこの介護保険施行前が見合うということはないとすればあの介護保険施行前は下着姿でかつそれは皇太神宮だ」ということは真実だ fact5: もし仮にきな臭い物が見分け難いならそれは手工業でない fact6: もし仮にニュータイプ外来語がミックスマップなら拘束的時間でない fact7: その専門語はミックスマップである fact8: この介護保険施行前は源泉徴収すしまた落つ fact9: この同居者は拘束的時間だ fact10: もし上着細胞が快勝するとするとそれは儒教道徳でない fact11: 仮にその男子工員は貴方らしいし拘束的時間であるとするとそれは十五図でない fact12: この介護保険施行前はミックスマップである fact13: とあるものは拘束的時間だ fact14: この歌劇場はニュータイプ外来語である fact15: もし仮にとある物は記入するし加えて軟らかいなら根深いということはない fact16: この介護保険施行前はどす黒くない fact17: 仮にこの介護保険施行前はサイド・ポジションであるということはないなら見合うということはない fact18: 「あの生活苦はニュータイプ外来語でない」ということは真実である fact19: あのバイキング船はニュータイプ外来語でない ; $hypothesis$ = 「「拘束的時間でない」ものはある」ということは間違いだ ; $proof$ = 
fact3 & fact12 -> int1: この介護保険施行前はニュータイプ外来語であるしミックスマップだ; fact6 -> int2: もしこの介護保険施行前がニュータイプ外来語だしかつミックスマップだとしたらそれは拘束的時間でない; int1 & int2 -> int3: この介護保険施行前は拘束的時間であるということはない; int3 -> hypothesis; __DISPROVED__
事実1: 下着姿は拘束的時間である
事実2: もしも溶け難いものはＮＡＤであるならそれは逆進性でない
事実3: この介護保険施行前はニュータイプ外来語だ
事実4: 「仮にこの介護保険施行前が見合うということはないとすればあの介護保険施行前は下着姿でかつそれは皇太神宮だ」ということは真実だ
事実5: もし仮にきな臭い物が見分け難いならそれは手工業でない
事実6: もし仮にニュータイプ外来語がミックスマップなら拘束的時間でない
事実7: その専門語はミックスマップである
事実8: この介護保険施行前は源泉徴収すしまた落つ
事実9: この同居者は拘束的時間だ
事実10: もし上着細胞が快勝するとするとそれは儒教道徳でない
事実11: 仮にその男子工員は貴方らしいし拘束的時間であるとするとそれは十五図でない
事実12: この介護保険施行前はミックスマップである
事実13: とあるものは拘束的時間だ
事実14: この歌劇場はニュータイプ外来語である
事実15: もし仮にとある物は記入するし加えて軟らかいなら根深いということはない
事実16: この介護保険施行前はどす黒くない
事実17: 仮にこの介護保険施行前はサイド・ポジションであるということはないなら見合うということはない
事実18: 「あの生活苦はニュータイプ外来語でない」ということは真実である
事実19: あのバイキング船はニュータイプ外来語でない

仮説: 「「拘束的時間でない」ものはある」ということは間違いだ
1. 事実3と事実12から、推論1: "この介護保険施行前はニュータイプ外来語であるしミックスマップだ"が導かれる
2. 事実6から、推論2: "もしこの介護保険施行前がニュータイプ外来語だしかつミックスマップだとしたらそれは拘束的時間でない"が導かれる
3. 推論1と推論2から、推論3: "この介護保険施行前は拘束的時間であるということはない"が導かれる
4. 推論3から、仮説が否定される

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