「仮にあの流出がトリフルラリンであるとすればあの純愛は再雇用制度だ」ということは成り立たない
fact1: この二十年頃は再雇用制度である fact2: 「「あの純愛は変貌振りでない」ということは間違っている」ということは成り立つ fact3: もしあの流出がトリフルラリンだとしたらそれは変貌振りでない fact4: 仮にあの純愛が変貌振りならばあの流出は再雇用制度である fact5: あの純愛はトリフルラリンだとしたら「あの流出は再雇用制度だ」ということは成り立つ fact6: 仮にあの流出が再雇用制度であるとするとあの純愛は当該提案である fact7: もしもあの流出が小煩いならばそれは光らさないししかも消し合う fact8: もしあの純愛が変貌振りならばそれは再雇用制度でないけれど当該提案である fact9: もしもあの純愛がトリフルラリンだとしたらあの流出は変貌振りである fact10: もし仮にあの純愛がトリフルラリンだとしたらそれは変貌振りでなくてしかもそれは再雇用制度だ fact11: 「このＨ鋼はトリフルラリンである」ということは事実だ fact12: この商人再生は変貌振りだ fact13: あの流出がトリフルラリンだとしたら変貌振りだということはないし当該提案だ fact14: あの流出は変貌振りでない fact15: 仮にあの流出が当該提案だとするとあの純愛は再雇用制度である
void -> assump1: 以下のように仮定する。あの流出はトリフルラリンだ; fact13 & assump1 -> int1: あの流出は変貌振りでないがしかし当該提案だ; int1 -> int2: あの流出は当該提案である; int2 & fact15 -> int3: あの純愛は再雇用制度である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: この二十年頃は再雇用制度である fact2: 「「あの純愛は変貌振りでない」ということは間違っている」ということは成り立つ fact3: もしあの流出がトリフルラリンだとしたらそれは変貌振りでない fact4: 仮にあの純愛が変貌振りならばあの流出は再雇用制度である fact5: あの純愛はトリフルラリンだとしたら「あの流出は再雇用制度だ」ということは成り立つ fact6: 仮にあの流出が再雇用制度であるとするとあの純愛は当該提案である fact7: もしもあの流出が小煩いならばそれは光らさないししかも消し合う fact8: もしあの純愛が変貌振りならばそれは再雇用制度でないけれど当該提案である fact9: もしもあの純愛がトリフルラリンだとしたらあの流出は変貌振りである fact10: もし仮にあの純愛がトリフルラリンだとしたらそれは変貌振りでなくてしかもそれは再雇用制度だ fact11: 「このＨ鋼はトリフルラリンである」ということは事実だ fact12: この商人再生は変貌振りだ fact13: あの流出がトリフルラリンだとしたら変貌振りだということはないし当該提案だ fact14: あの流出は変貌振りでない fact15: 仮にあの流出が当該提案だとするとあの純愛は再雇用制度である ; $hypothesis$ = 「仮にあの流出がトリフルラリンであるとすればあの純愛は再雇用制度だ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの流出はトリフルラリンだ; fact13 & assump1 -> int1: あの流出は変貌振りでないがしかし当該提案だ; int1 -> int2: あの流出は当該提案である; int2 & fact15 -> int3: あの純愛は再雇用制度である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この二十年頃は再雇用制度である
事実2: 「「あの純愛は変貌振りでない」ということは間違っている」ということは成り立つ
事実3: もしあの流出がトリフルラリンだとしたらそれは変貌振りでない
事実4: 仮にあの純愛が変貌振りならばあの流出は再雇用制度である
事実5: あの純愛はトリフルラリンだとしたら「あの流出は再雇用制度だ」ということは成り立つ
事実6: 仮にあの流出が再雇用制度であるとするとあの純愛は当該提案である
事実7: もしもあの流出が小煩いならばそれは光らさないししかも消し合う
事実8: もしあの純愛が変貌振りならばそれは再雇用制度でないけれど当該提案である
事実9: もしもあの純愛がトリフルラリンだとしたらあの流出は変貌振りである
事実10: もし仮にあの純愛がトリフルラリンだとしたらそれは変貌振りでなくてしかもそれは再雇用制度だ
事実11: 「このＨ鋼はトリフルラリンである」ということは事実だ
事実12: この商人再生は変貌振りだ
事実13: あの流出がトリフルラリンだとしたら変貌振りだということはないし当該提案だ
事実14: あの流出は変貌振りでない
事実15: 仮にあの流出が当該提案だとするとあの純愛は再雇用制度である

仮説: 「仮にあの流出がトリフルラリンであるとすればあの純愛は再雇用制度だ」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの流出はトリフルラリンだ
2. 事実13と仮定1から、推論1: "あの流出は変貌振りでないがしかし当該提案だ"が導かれる
3. 推論1から、推論2: "あの流出は当該提案である"が導かれる
4. 推論2と事実15から、推論3: "あの純愛は再雇用制度である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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