この四名乗車は当期純利益であるし泣き始める
fact1: あの平均株価は呼び合う fact2: もしも「その反啓蒙は考え辛いしさらに住み方だ」ということは間違っているとすればアレンズバーグ夫妻でない fact3: 「要求リターンは当期純利益だ」ということは事実だ fact4: もしもあの第三話は要求リターンであるならば呼び合うがチャーター船でない fact5: あの第三話はチャーター船であるということはない fact6: 仮にあの第三話が呼び合うけどチャーター船でないとするとあの平均株価は予測し難くない fact7: その反啓蒙はチャーター船でない fact8: あの第三話は要求リターンだ fact9: 仮にあの第三話が呼び合うしまたチャーター船であるとすればあの平均株価は予測し難いということはない fact10: 仮に「その反啓蒙は考え辛くない」ということは成り立つとしたらそれはアレンズバーグ夫妻でない fact11: もしその反啓蒙は考え辛いということはないならば「それは呼び合わない」ということは真実である fact12: もしその反啓蒙はアレンズバーグ夫妻でないとすると「この四名乗車は当期純利益であるし泣き始める」ということは成り立たない fact13: もしもあの平均株価は予測し難いということはないとすれば「その反啓蒙は考え辛くてそれに住み方である」ということは成り立つということはない
fact4 & fact8 -> int1: あの第三話は呼び合うけどチャーター船でない; int1 & fact6 -> int2: あの平均株価は予測し難くない; int2 & fact13 -> int3: 「その反啓蒙は考え辛くて住み方である」ということは事実でない; int3 & fact2 -> int4: その反啓蒙はアレンズバーグ夫妻でない; int4 & fact12 -> hypothesis;
この四名乗車が当期純利益だしそれは泣き始める
fact14 -> int5: 仮にこの四名乗車が要求リターンだとすればそれは当期純利益である;
$facts$ = fact1: あの平均株価は呼び合う fact2: もしも「その反啓蒙は考え辛いしさらに住み方だ」ということは間違っているとすればアレンズバーグ夫妻でない fact3: 「要求リターンは当期純利益だ」ということは事実だ fact4: もしもあの第三話は要求リターンであるならば呼び合うがチャーター船でない fact5: あの第三話はチャーター船であるということはない fact6: 仮にあの第三話が呼び合うけどチャーター船でないとするとあの平均株価は予測し難くない fact7: その反啓蒙はチャーター船でない fact8: あの第三話は要求リターンだ fact9: 仮にあの第三話が呼び合うしまたチャーター船であるとすればあの平均株価は予測し難いということはない fact10: 仮に「その反啓蒙は考え辛くない」ということは成り立つとしたらそれはアレンズバーグ夫妻でない fact11: もしその反啓蒙は考え辛いということはないならば「それは呼び合わない」ということは真実である fact12: もしその反啓蒙はアレンズバーグ夫妻でないとすると「この四名乗車は当期純利益であるし泣き始める」ということは成り立たない fact13: もしもあの平均株価は予測し難いということはないとすれば「その反啓蒙は考え辛くてそれに住み方である」ということは成り立つということはない ; $hypothesis$ = この四名乗車は当期純利益であるし泣き始める ; $proof$ = 
fact4 & fact8 -> int1: あの第三話は呼び合うけどチャーター船でない; int1 & fact6 -> int2: あの平均株価は予測し難くない; int2 & fact13 -> int3: 「その反啓蒙は考え辛くて住み方である」ということは事実でない; int3 & fact2 -> int4: その反啓蒙はアレンズバーグ夫妻でない; int4 & fact12 -> hypothesis; __DISPROVED__
事実1: あの平均株価は呼び合う
事実2: もしも「その反啓蒙は考え辛いしさらに住み方だ」ということは間違っているとすればアレンズバーグ夫妻でない
事実3: 「要求リターンは当期純利益だ」ということは事実だ
事実4: もしもあの第三話は要求リターンであるならば呼び合うがチャーター船でない
事実5: あの第三話はチャーター船であるということはない
事実6: 仮にあの第三話が呼び合うけどチャーター船でないとするとあの平均株価は予測し難くない
事実7: その反啓蒙はチャーター船でない
事実8: あの第三話は要求リターンだ
事実9: 仮にあの第三話が呼び合うしまたチャーター船であるとすればあの平均株価は予測し難いということはない
事実10: 仮に「その反啓蒙は考え辛くない」ということは成り立つとしたらそれはアレンズバーグ夫妻でない
事実11: もしその反啓蒙は考え辛いということはないならば「それは呼び合わない」ということは真実である
事実12: もしその反啓蒙はアレンズバーグ夫妻でないとすると「この四名乗車は当期純利益であるし泣き始める」ということは成り立たない
事実13: もしもあの平均株価は予測し難いということはないとすれば「その反啓蒙は考え辛くてそれに住み方である」ということは成り立つということはない

仮説: この四名乗車は当期純利益であるし泣き始める
1. 事実4と事実8から、推論1: "あの第三話は呼び合うけどチャーター船でない"が導かれる
2. 推論1と事実6から、推論2: "あの平均株価は予測し難くない"が導かれる
3. 推論2と事実13から、推論3: "「その反啓蒙は考え辛くて住み方である」ということは事実でない"が導かれる
4. 推論3と事実2から、推論4: "その反啓蒙はアレンズバーグ夫妻でない"が導かれる
5. 推論4と事実12から、仮説が否定される

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