この手形行為は有効範囲でない
fact1: もし仮にあの二管が無視し得るとすればこのホームトリートメントは無視し得る fact2: もしも「何らかの物はマイノリティ集団で閉館する」ということは成り立たないとしたら「閉館しない」ということは本当である fact3: もし仮にこの歴史公園は年度改正でないとすると「この手形行為はマイノリティ集団だし閉館する」ということは誤りである fact4: もしもあのＰＦが無視し得るとしたらそれは腹黒い fact5: この手形行為は罹り易い fact6: 「おっかない」ものはある fact7: 仮にこの歴史公園が閉館するとするとこのホームトリートメントはマイノリティ集団である fact8: あの二管は年度改正であるしまた無視し得る fact9: 仮にとある物が閉館するなら無視し得る fact10: 仮に何らかのものがおっかないしかつ有効範囲であるならばこの歴史公園は閉館する fact11: もしもこのスラブ厚がマイノリティ集団だとすれば強大だ fact12: もし仮にあの二管は有効範囲であるならばそれは罹り易い fact13: 仮に「あのＰＦは腹黒い」ということは本当だとすればあの二管は罹り易い fact14: この手形行為はおっかない fact15: もしも「あの二管は年度改正だがマイノリティ集団でない」ということは本当であるとすればあのホームトリートメントはマイノリティ集団だということはない fact16: あのＰＦは無視し得る fact17: このホームトリートメントは美しくてさらに有効範囲である fact18: もしあの二管が罹り易いならば有効範囲だ fact19: もし仮にあるものは無視し得るなら「腹黒いけれど罹り易いということはない」ということは間違っている fact20: もしなにがしかのものが罹り易いとすると年度改正だけどマイノリティ集団だということはない fact21: 「ある物は無視し得る」ということは成り立つ fact22: 「このホームトリートメントは腹黒いけれど罹り易いということはない」ということは嘘であるならばこの歴史公園は年度改正でない
void -> assump1: 以下のように仮定する。この手形行為は有効範囲だ; fact14 & assump1 -> int1: この手形行為はおっかなくてさらに有効範囲だ; int1 -> int2: 「おっかないししかも有効範囲な」ものはある; int2 & fact10 -> int3: この歴史公園は閉館する; int3 & fact7 -> int4: 「このホームトリートメントはマイノリティ集団である」ということは確かである; fact16 & fact4 -> int5: あのＰＦは腹黒い; int5 & fact13 -> int6: あの二管は罹り易い; fact20 -> int7: あの二管が罹り易いとしたら年度改正でマイノリティ集団でない; int6 & int7 -> int8: あの二管は年度改正であるけれどそれはマイノリティ集団であるということはない; int8 & fact15 -> int9: このホームトリートメントはマイノリティ集団だということはない; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
この手形行為は有効範囲である
fact23 -> int11: 「この手形行為はマイノリティ集団であるしそれは閉館する」ということは誤っているとしたらそれは閉館しない; fact25 -> int12: 「このホームトリートメントは無視し得る」ということは成り立てば「腹黒い一方で罹り易くない」ということは間違いである;
$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$ = 
void -> assump1: 以下のように仮定する。この手形行為は有効範囲だ; fact14 & assump1 -> int1: この手形行為はおっかなくてさらに有効範囲だ; int1 -> int2: 「おっかないししかも有効範囲な」ものはある; int2 & fact10 -> int3: この歴史公園は閉館する; int3 & fact7 -> int4: 「このホームトリートメントはマイノリティ集団である」ということは確かである; fact16 & fact4 -> int5: あのＰＦは腹黒い; int5 & fact13 -> int6: あの二管は罹り易い; fact20 -> int7: あの二管が罹り易いとしたら年度改正でマイノリティ集団でない; int6 & int7 -> int8: あの二管は年度改正であるけれどそれはマイノリティ集団であるということはない; int8 & fact15 -> int9: このホームトリートメントはマイノリティ集団だということはない; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: もし仮にあの二管が無視し得るとすればこのホームトリートメントは無視し得る
事実2: もしも「何らかの物はマイノリティ集団で閉館する」ということは成り立たないとしたら「閉館しない」ということは本当である
事実3: もし仮にこの歴史公園は年度改正でないとすると「この手形行為はマイノリティ集団だし閉館する」ということは誤りである
事実4: もしもあのＰＦが無視し得るとしたらそれは腹黒い
事実5: この手形行為は罹り易い
事実6: 「おっかない」ものはある
事実7: 仮にこの歴史公園が閉館するとするとこのホームトリートメントはマイノリティ集団である
事実8: あの二管は年度改正であるしまた無視し得る
事実9: 仮にとある物が閉館するなら無視し得る
事実10: 仮に何らかのものがおっかないしかつ有効範囲であるならばこの歴史公園は閉館する
事実11: もしもこのスラブ厚がマイノリティ集団だとすれば強大だ
事実12: もし仮にあの二管は有効範囲であるならばそれは罹り易い
事実13: 仮に「あのＰＦは腹黒い」ということは本当だとすればあの二管は罹り易い
事実14: この手形行為はおっかない
事実15: もしも「あの二管は年度改正だがマイノリティ集団でない」ということは本当であるとすればあのホームトリートメントはマイノリティ集団だということはない
事実16: あのＰＦは無視し得る
事実17: このホームトリートメントは美しくてさらに有効範囲である
事実18: もしあの二管が罹り易いならば有効範囲だ
事実19: もし仮にあるものは無視し得るなら「腹黒いけれど罹り易いということはない」ということは間違っている
事実20: もしなにがしかのものが罹り易いとすると年度改正だけどマイノリティ集団だということはない
事実21: 「ある物は無視し得る」ということは成り立つ
事実22: 「このホームトリートメントは腹黒いけれど罹り易いということはない」ということは嘘であるならばこの歴史公園は年度改正でない

仮説: この手形行為は有効範囲でない
1. 仮定1: 以下のように仮定する。この手形行為は有効範囲だ
2. 事実14と仮定1から、推論1: "この手形行為はおっかなくてさらに有効範囲だ"が導かれる
3. 推論1から、推論2: "「おっかないししかも有効範囲な」ものはある"が導かれる
4. 推論2と事実10から、推論3: "この歴史公園は閉館する"が導かれる
5. 推論3と事実7から、推論4: "「このホームトリートメントはマイノリティ集団である」ということは確かである"が導かれる
6. 事実16と事実4から、推論5: "あのＰＦは腹黒い"が導かれる
7. 推論5と事実13から、推論6: "あの二管は罹り易い"が導かれる
8. 事実20から、推論7: "あの二管が罹り易いとしたら年度改正でマイノリティ集団でない"が導かれる
9. 推論6と推論7から、推論8: "あの二管は年度改正であるけれどそれはマイノリティ集団であるということはない"が導かれる
10. 推論8と事実15から、推論9: "このホームトリートメントはマイノリティ集団だということはない"が導かれる
11. 推論4と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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