この人道的介入は厳しかない
fact1: この仏教系は眩くないけど閉じ込める fact2: この人道的介入は厚くない fact3: この仏教系は厚い fact4: もし仮になんらかの物が一般職群でない一方で厚いならば母親らしくない fact5: もし仮にとある物は送金しないけど厚いとすると取れ難いということはない fact6: もしもこの仏教系は母親らしくないとすれば「この人道的介入は厳しい」ということは成り立つ fact7: この仏教系は一般職群でない fact8: この人道的介入は一般職群だ
fact7 & fact3 -> int1: この仏教系は一般職群でないけど厚い; fact4 -> int2: もしもこの仏教系は一般職群でないけれど厚いとしたら「母親らしくない」ということは確かである; int1 & int2 -> int3: この仏教系は母親らしいということはない; int3 & fact6 -> hypothesis;
もしもあのクライアントソフトは送金しないがしかし厚いなら取れ難いということはない
fact9 -> hypothesis;
$facts$ = fact1: この仏教系は眩くないけど閉じ込める fact2: この人道的介入は厚くない fact3: この仏教系は厚い fact4: もし仮になんらかの物が一般職群でない一方で厚いならば母親らしくない fact5: もし仮にとある物は送金しないけど厚いとすると取れ難いということはない fact6: もしもこの仏教系は母親らしくないとすれば「この人道的介入は厳しい」ということは成り立つ fact7: この仏教系は一般職群でない fact8: この人道的介入は一般職群だ ; $hypothesis$ = この人道的介入は厳しかない ; $proof$ = 
fact7 & fact3 -> int1: この仏教系は一般職群でないけど厚い; fact4 -> int2: もしもこの仏教系は一般職群でないけれど厚いとしたら「母親らしくない」ということは確かである; int1 & int2 -> int3: この仏教系は母親らしいということはない; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: この仏教系は眩くないけど閉じ込める
事実2: この人道的介入は厚くない
事実3: この仏教系は厚い
事実4: もし仮になんらかの物が一般職群でない一方で厚いならば母親らしくない
事実5: もし仮にとある物は送金しないけど厚いとすると取れ難いということはない
事実6: もしもこの仏教系は母親らしくないとすれば「この人道的介入は厳しい」ということは成り立つ
事実7: この仏教系は一般職群でない
事実8: この人道的介入は一般職群だ

仮説: この人道的介入は厳しかない
1. 事実7と事実3から、推論1: "この仏教系は一般職群でないけど厚い"が導かれる
2. 事実4から、推論2: "もしもこの仏教系は一般職群でないけれど厚いとしたら「母親らしくない」ということは確かである"が導かれる
3. 推論1と推論2から、推論3: "この仏教系は母親らしいということはない"が導かれる
4. 推論3と事実6から、仮説が否定される

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