「もしもあのショーウィンドーが古くないとすればこの養子は有り過ぎない一方で鳴り出す」ということは間違いだ
fact1: 仮に何らかのものが金融機関等でないならば修整するし加えてそれは鳴り出す fact2: とある物は古いとすると「それは転けるし加えてそれはしょぼい」ということは偽だ fact3: もし仮にあのショーウィンドーは古いなら「転けるししょぼい」ということは間違いである fact4: もし仮にそのメインコンポは鳴り出さないとすれば「有り過ぎるししかも修整する」ということは成り立たない fact5: この養子は鳴り出す fact6: 仮にそのメインコンポが鳴り出せばこの養子は有り過ぎない一方で鳴り出す fact7: そのメインコンポは修整する fact8: もしこの養子が金融機関等でないしまたそれが鳴り出さないならば古くない fact9: もしもあのショーウィンドーが古くないとすればこの養子は鳴り出す fact10: もしある物は古くないならば「それは妬ましいししかもしょぼい」ということは間違っている fact11: もし仮にそのメインコンポが鳴り出せばこの養子は鳴り出す fact12: 「「あのショーウィンドーは転けるしまたそれはしょぼい」ということは成り立たないとするとそのメインコンポは金融機関等でない」ということは確かだ fact13: この異形は有り過ぎない fact14: もし仮にあるものは古くないとすれば「転けるししょぼい」ということは偽だ fact15: もし仮に何かは金融機関等でないとしたらそれは修整する fact16: 「そのメインコンポは書類等であるしおまけに憎たらしい」ということは成り立つ fact17: もしもとある物が有り過ぎないとするとそれは修整するし曇り無し fact18: もし仮にあのショーウィンドーが古くないならばこの養子は有り過ぎるしさらにそれは鳴り出す fact19: もし仮にあのショーウィンドーが転けるということはないとしたらそのメインコンポは金融機関等でない fact20: この養子はイーサネットカードであるしそれは細々する fact21: 仮にそのメインコンポが金融機関等でないとすれば修整する fact22: 仮にあのショーウィンドーが古いとするとこの養子は有り過ぎるということはないがしかし鳴り出す
fact14 -> int1: もしもあのショーウィンドーは古くないとしたら「それは転けるししょぼい」ということは成り立たない; void -> assump1: 以下のように仮定する。あのショーウィンドーは古くない; int1 & assump1 -> int2: 「あのショーウィンドーは転けるしまたしょぼい」ということは偽である; int2 & fact12 -> int3: そのメインコンポは金融機関等でない; fact1 -> int4: もしそのメインコンポは金融機関等でないとしたらそれは修整するし更に鳴り出す; int3 & int4 -> int5: そのメインコンポは修整するしおまけに鳴り出す; int5 -> int6: そのメインコンポは鳴り出す; int6 & fact6 -> int7: この養子は有り過ぎないけれど鳴り出す; [assump1] & int7 -> hypothesis;
「この養子は妬ましいしまたしょぼい」ということは偽だ
fact23 -> int8: そのメインコンポが有り過ぎないとしたらそれは修整するししかも曇り無し; fact24 -> int9: 仮にこの養子は古いということはないとしたら「妬ましいししかもそれはしょぼい」ということは嘘だ;
$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$ = 
fact14 -> int1: もしもあのショーウィンドーは古くないとしたら「それは転けるししょぼい」ということは成り立たない; void -> assump1: 以下のように仮定する。あのショーウィンドーは古くない; int1 & assump1 -> int2: 「あのショーウィンドーは転けるしまたしょぼい」ということは偽である; int2 & fact12 -> int3: そのメインコンポは金融機関等でない; fact1 -> int4: もしそのメインコンポは金融機関等でないとしたらそれは修整するし更に鳴り出す; int3 & int4 -> int5: そのメインコンポは修整するしおまけに鳴り出す; int5 -> int6: そのメインコンポは鳴り出す; int6 & fact6 -> int7: この養子は有り過ぎないけれど鳴り出す; [assump1] & int7 -> 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. 事実14から、推論1: "もしもあのショーウィンドーは古くないとしたら「それは転けるししょぼい」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。あのショーウィンドーは古くない
3. 推論1と仮定1から、推論2: "「あのショーウィンドーは転けるしまたしょぼい」ということは偽である"が導かれる
4. 推論2と事実12から、推論3: "そのメインコンポは金融機関等でない"が導かれる
5. 事実1から、推論4: "もしそのメインコンポは金融機関等でないとしたらそれは修整するし更に鳴り出す"が導かれる
6. 推論3と推論4から、推論5: "そのメインコンポは修整するしおまけに鳴り出す"が導かれる
7. 推論5から、推論6: "そのメインコンポは鳴り出す"が導かれる
8. 推論6と事実6から、推論7: "この養子は有り過ぎないけれど鳴り出す"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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