「あの協調精神は百姓らしい」ということは成り立つ
fact1: もしその動静はＶＤＲＥでないとすれば「その百六キーボードは十二省庁体制であるしそれに遅れ易い」ということは成り立たない fact2: その百六キーボードはＶＤＲＥである fact3: もしもある物は百姓らしいなら「遅れ易いしコストカットでない」ということは誤りだ fact4: もしそのチャーチが十二省庁体制だとすればあの百六キーボードはコストカットである fact5: その百六キーボードは遅れ易いということはない fact6: とあるものが十二省庁体制だということはないけれど遅れ易いならそれは偉い fact7: ある物は防げれば「それは動脈血だがしかし事らしくない」ということは成り立たない fact8: もし仮に手広い物がシルバーサルファダイアジンクリームでないとするとそのチャーチは防げる fact9: もしあの協調精神は偉いとすれば「百姓らしいがしかしコストカットでない」ということは成り立たない fact10: もしも「なにがしかの物が動脈血だけどそれは事らしいということはない」ということは事実と異なればそれはＶＤＲＥである fact11: もしも「「百姓らしいしその上コストカットでない」ということは成り立たない」ものがあるとしたらその人類史上は太くない fact12: もしその百六キーボードはコストカットでないとしたら「そのチャーチは百姓らしいということはない一方で偉い」ということは成り立たない fact13: 「あの協調精神は遅れ易くない一方で百姓らしい」ということは真実でない fact14: もし仮に「そのチャーチは太くないが良い」ということは真実であるということはないとすればそれはコストカットである fact15: 「「その百六キーボードは十二省庁体制でないしさらにそれは遅れ易くない」ということは真実である」ということは嘘ならＶＤＲＥでない fact16: あの協調精神は百姓らしいとしたら「そのチャーチは太くないけれど良い」ということは嘘だ fact17: もし仮にそのチャーチがコストカットであるならばあの百六キーボードは偉い fact18: もしその動静が同姓でないとしたらその百六キーボードは手広いがしかしシルバーサルファダイアジンクリームでない fact19: もし仮にその百六キーボードは偉いとしたら「それは十二省庁体制でないしまた遅れ易くない」ということは嘘だ fact20: もしそのチャーチが偉いならばあの協調精神は偉い fact21: その動静は同姓でない
void -> assump1: 以下のように仮定する。あの協調精神は百姓らしい; fact16 & assump1 -> int1: 「そのチャーチは太くないがそれは良い」ということは成り立たない; int1 & fact14 -> int2: そのチャーチはコストカットである; int2 & fact17 -> int3: その百六キーボードは偉い; int3 & fact19 -> int4: 「その百六キーボードは十二省庁体制でなくて加えて遅れ易くない」ということは成り立たない; int4 & fact15 -> int5: その百六キーボードはＶＤＲＥでない; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの協調精神は百姓らしい
$facts$ = fact1: もしその動静はＶＤＲＥでないとすれば「その百六キーボードは十二省庁体制であるしそれに遅れ易い」ということは成り立たない fact2: その百六キーボードはＶＤＲＥである fact3: もしもある物は百姓らしいなら「遅れ易いしコストカットでない」ということは誤りだ fact4: もしそのチャーチが十二省庁体制だとすればあの百六キーボードはコストカットである fact5: その百六キーボードは遅れ易いということはない fact6: とあるものが十二省庁体制だということはないけれど遅れ易いならそれは偉い fact7: ある物は防げれば「それは動脈血だがしかし事らしくない」ということは成り立たない fact8: もし仮に手広い物がシルバーサルファダイアジンクリームでないとするとそのチャーチは防げる fact9: もしあの協調精神は偉いとすれば「百姓らしいがしかしコストカットでない」ということは成り立たない fact10: もしも「なにがしかの物が動脈血だけどそれは事らしいということはない」ということは事実と異なればそれはＶＤＲＥである fact11: もしも「「百姓らしいしその上コストカットでない」ということは成り立たない」ものがあるとしたらその人類史上は太くない fact12: もしその百六キーボードはコストカットでないとしたら「そのチャーチは百姓らしいということはない一方で偉い」ということは成り立たない fact13: 「あの協調精神は遅れ易くない一方で百姓らしい」ということは真実でない fact14: もし仮に「そのチャーチは太くないが良い」ということは真実であるということはないとすればそれはコストカットである fact15: 「「その百六キーボードは十二省庁体制でないしさらにそれは遅れ易くない」ということは真実である」ということは嘘ならＶＤＲＥでない fact16: あの協調精神は百姓らしいとしたら「そのチャーチは太くないけれど良い」ということは嘘だ fact17: もし仮にそのチャーチがコストカットであるならばあの百六キーボードは偉い fact18: もしその動静が同姓でないとしたらその百六キーボードは手広いがしかしシルバーサルファダイアジンクリームでない fact19: もし仮にその百六キーボードは偉いとしたら「それは十二省庁体制でないしまた遅れ易くない」ということは嘘だ fact20: もしそのチャーチが偉いならばあの協調精神は偉い fact21: その動静は同姓でない ; $hypothesis$ = 「あの協調精神は百姓らしい」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの協調精神は百姓らしい; fact16 & assump1 -> int1: 「そのチャーチは太くないがそれは良い」ということは成り立たない; int1 & fact14 -> int2: そのチャーチはコストカットである; int2 & fact17 -> int3: その百六キーボードは偉い; int3 & fact19 -> int4: 「その百六キーボードは十二省庁体制でなくて加えて遅れ易くない」ということは成り立たない; int4 & fact15 -> int5: その百六キーボードはＶＤＲＥでない; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしその動静はＶＤＲＥでないとすれば「その百六キーボードは十二省庁体制であるしそれに遅れ易い」ということは成り立たない
事実2: その百六キーボードはＶＤＲＥである
事実3: もしもある物は百姓らしいなら「遅れ易いしコストカットでない」ということは誤りだ
事実4: もしそのチャーチが十二省庁体制だとすればあの百六キーボードはコストカットである
事実5: その百六キーボードは遅れ易いということはない
事実6: とあるものが十二省庁体制だということはないけれど遅れ易いならそれは偉い
事実7: ある物は防げれば「それは動脈血だがしかし事らしくない」ということは成り立たない
事実8: もし仮に手広い物がシルバーサルファダイアジンクリームでないとするとそのチャーチは防げる
事実9: もしあの協調精神は偉いとすれば「百姓らしいがしかしコストカットでない」ということは成り立たない
事実10: もしも「なにがしかの物が動脈血だけどそれは事らしいということはない」ということは事実と異なればそれはＶＤＲＥである
事実11: もしも「「百姓らしいしその上コストカットでない」ということは成り立たない」ものがあるとしたらその人類史上は太くない
事実12: もしその百六キーボードはコストカットでないとしたら「そのチャーチは百姓らしいということはない一方で偉い」ということは成り立たない
事実13: 「あの協調精神は遅れ易くない一方で百姓らしい」ということは真実でない
事実14: もし仮に「そのチャーチは太くないが良い」ということは真実であるということはないとすればそれはコストカットである
事実15: 「「その百六キーボードは十二省庁体制でないしさらにそれは遅れ易くない」ということは真実である」ということは嘘ならＶＤＲＥでない
事実16: あの協調精神は百姓らしいとしたら「そのチャーチは太くないけれど良い」ということは嘘だ
事実17: もし仮にそのチャーチがコストカットであるならばあの百六キーボードは偉い
事実18: もしその動静が同姓でないとしたらその百六キーボードは手広いがしかしシルバーサルファダイアジンクリームでない
事実19: もし仮にその百六キーボードは偉いとしたら「それは十二省庁体制でないしまた遅れ易くない」ということは嘘だ
事実20: もしそのチャーチが偉いならばあの協調精神は偉い
事実21: その動静は同姓でない

仮説: 「あの協調精神は百姓らしい」ということは成り立つ
1. 仮定1: 以下のように仮定する。あの協調精神は百姓らしい
2. 事実16と仮定1から、推論1: "「そのチャーチは太くないがそれは良い」ということは成り立たない"が導かれる
3. 推論1と事実14から、推論2: "そのチャーチはコストカットである"が導かれる
4. 推論2と事実17から、推論3: "その百六キーボードは偉い"が導かれる
5. 推論3と事実19から、推論4: "「その百六キーボードは十二省庁体制でなくて加えて遅れ易くない」ということは成り立たない"が導かれる
6. 推論4と事実15から、推論5: "その百六キーボードはＶＤＲＥでない"が導かれる
7. 推論5と事実2から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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