あの社会福祉事業法は気弱い
fact1: 「あの社会福祉事業法は気弱いけれどそれは手際良いということはない」ということは成り立たない fact2: 「あの社会福祉事業法は悍ましい」ということは成り立つ fact3: 仮にあの社会福祉事業法は青年期であるなら「牛耳らないしそれは憂いということはない」ということは成り立つということはない fact4: あの社会福祉事業法が気弱いならば牛耳らなくて加えて憂くない fact5: 「このブラジル人は歩み寄る」ということは真実であるとするとそれは絶え間無くなくてそれは憎々しくない fact6: もしなんらかのものが省けるとすれば憂くなくて程近くない fact7: 「「その胃症状は寄り道するということはないし憂くない」ということは成り立たない」ということは本当だ fact8: あの社会福祉事業法は青年期だ fact9: もし仮に「あの社会福祉事業法は気弱い」ということは嘘でないなら憂くない
void -> assump1: 以下のように仮定する。あの社会福祉事業法は気弱い; fact4 & assump1 -> int1: あの社会福祉事業法は牛耳らなくて憂くない; fact8 & fact3 -> int2: 「あの社会福祉事業法は牛耳らないししかも憂くない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
もしあの社会福祉事業法が省けるとすればそれは憂くないし程近くない
fact10 -> hypothesis;
$facts$ = fact1: 「あの社会福祉事業法は気弱いけれどそれは手際良いということはない」ということは成り立たない fact2: 「あの社会福祉事業法は悍ましい」ということは成り立つ fact3: 仮にあの社会福祉事業法は青年期であるなら「牛耳らないしそれは憂いということはない」ということは成り立つということはない fact4: あの社会福祉事業法が気弱いならば牛耳らなくて加えて憂くない fact5: 「このブラジル人は歩み寄る」ということは真実であるとするとそれは絶え間無くなくてそれは憎々しくない fact6: もしなんらかのものが省けるとすれば憂くなくて程近くない fact7: 「「その胃症状は寄り道するということはないし憂くない」ということは成り立たない」ということは本当だ fact8: あの社会福祉事業法は青年期だ fact9: もし仮に「あの社会福祉事業法は気弱い」ということは嘘でないなら憂くない ; $hypothesis$ = あの社会福祉事業法は気弱い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの社会福祉事業法は気弱い; fact4 & assump1 -> int1: あの社会福祉事業法は牛耳らなくて憂くない; fact8 & fact3 -> int2: 「あの社会福祉事業法は牛耳らないししかも憂くない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「あの社会福祉事業法は気弱いけれどそれは手際良いということはない」ということは成り立たない
事実2: 「あの社会福祉事業法は悍ましい」ということは成り立つ
事実3: 仮にあの社会福祉事業法は青年期であるなら「牛耳らないしそれは憂いということはない」ということは成り立つということはない
事実4: あの社会福祉事業法が気弱いならば牛耳らなくて加えて憂くない
事実5: 「このブラジル人は歩み寄る」ということは真実であるとするとそれは絶え間無くなくてそれは憎々しくない
事実6: もしなんらかのものが省けるとすれば憂くなくて程近くない
事実7: 「「その胃症状は寄り道するということはないし憂くない」ということは成り立たない」ということは本当だ
事実8: あの社会福祉事業法は青年期だ
事実9: もし仮に「あの社会福祉事業法は気弱い」ということは嘘でないなら憂くない

仮説: あの社会福祉事業法は気弱い
1. 仮定1: 以下のように仮定する。あの社会福祉事業法は気弱い
2. 事実4と仮定1から、推論1: "あの社会福祉事業法は牛耳らなくて憂くない"が導かれる
3. 事実8と事実3から、推論2: "「あの社会福祉事業法は牛耳らないししかも憂くない」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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