「もしもその乱数が辛抱強いとすればあの特別縁故者はモジュール化する」ということは間違いである
fact1: 「この十九世紀末は辛抱強い」ということは成り立つ fact2: あの特別縁故者は加工し易くないけれどＣＵＦＦである fact3: 「その乱数は加工し易い」ということは確かだとしたらあの特別縁故者はモジュール化する fact4: もしもその乱数がモジュール化すれば加工し易くないけれど真ん丸い fact5: その乱数がモジュール化するとすれば真ん丸くないけれど加工し易い fact6: 辛抱強いものは真ん丸くない fact7: もしあの特別縁故者がモジュール化するとしたら真ん丸くないが加工し易い fact8: その乱数は人間らしい fact9: もし仮にその乱数が湯剥きするとすればそれは女性らしくないけど止む無し fact10: あの特別縁故者は姉らしい fact11: あの特別縁故者は真ん丸いということはない fact12: もし「なにがしかのものは真ん丸い」ということは本当だとすればそれは加工し易くないしさらにそれはモジュール化する fact13: もし仮にあの特別縁故者が加工し易いとしたらその乱数は辛抱強い fact14: 辛抱強いものは真ん丸いということはないけれど加工し易い fact15: 仮にあの特別縁故者が辛抱強いとすればあの乱数は真ん丸い fact16: そのブランド力は辛抱強い fact17: もし仮にその乱数がモジュール化するとしたらあの特別縁故者は加工し易い fact18: その乱数は掘っ立て柱建物である fact19: もしあの特別縁故者は真ん丸いとすれば「その乱数はモジュール化する」ということは本当である fact20: あの特別縁故者は加工し易くない
fact14 -> int1: もしその乱数が辛抱強いならばそれは真ん丸くないがしかし加工し易い; void -> assump1: 以下のように仮定する。その乱数は辛抱強い; int1 & assump1 -> int2: その乱数は真ん丸いということはない一方でそれは加工し易い; int2 -> int3: その乱数は加工し易い; int3 & fact3 -> int4: あの特別縁故者はモジュール化する; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「この十九世紀末は辛抱強い」ということは成り立つ fact2: あの特別縁故者は加工し易くないけれどＣＵＦＦである fact3: 「その乱数は加工し易い」ということは確かだとしたらあの特別縁故者はモジュール化する fact4: もしもその乱数がモジュール化すれば加工し易くないけれど真ん丸い fact5: その乱数がモジュール化するとすれば真ん丸くないけれど加工し易い fact6: 辛抱強いものは真ん丸くない fact7: もしあの特別縁故者がモジュール化するとしたら真ん丸くないが加工し易い fact8: その乱数は人間らしい fact9: もし仮にその乱数が湯剥きするとすればそれは女性らしくないけど止む無し fact10: あの特別縁故者は姉らしい fact11: あの特別縁故者は真ん丸いということはない fact12: もし「なにがしかのものは真ん丸い」ということは本当だとすればそれは加工し易くないしさらにそれはモジュール化する fact13: もし仮にあの特別縁故者が加工し易いとしたらその乱数は辛抱強い fact14: 辛抱強いものは真ん丸いということはないけれど加工し易い fact15: 仮にあの特別縁故者が辛抱強いとすればあの乱数は真ん丸い fact16: そのブランド力は辛抱強い fact17: もし仮にその乱数がモジュール化するとしたらあの特別縁故者は加工し易い fact18: その乱数は掘っ立て柱建物である fact19: もしあの特別縁故者は真ん丸いとすれば「その乱数はモジュール化する」ということは本当である fact20: あの特別縁故者は加工し易くない ; $hypothesis$ = 「もしもその乱数が辛抱強いとすればあの特別縁故者はモジュール化する」ということは間違いである ; $proof$ = 
fact14 -> int1: もしその乱数が辛抱強いならばそれは真ん丸くないがしかし加工し易い; void -> assump1: 以下のように仮定する。その乱数は辛抱強い; int1 & assump1 -> int2: その乱数は真ん丸いということはない一方でそれは加工し易い; int2 -> int3: その乱数は加工し易い; int3 & fact3 -> int4: あの特別縁故者はモジュール化する; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 「この十九世紀末は辛抱強い」ということは成り立つ
事実2: あの特別縁故者は加工し易くないけれどＣＵＦＦである
事実3: 「その乱数は加工し易い」ということは確かだとしたらあの特別縁故者はモジュール化する
事実4: もしもその乱数がモジュール化すれば加工し易くないけれど真ん丸い
事実5: その乱数がモジュール化するとすれば真ん丸くないけれど加工し易い
事実6: 辛抱強いものは真ん丸くない
事実7: もしあの特別縁故者がモジュール化するとしたら真ん丸くないが加工し易い
事実8: その乱数は人間らしい
事実9: もし仮にその乱数が湯剥きするとすればそれは女性らしくないけど止む無し
事実10: あの特別縁故者は姉らしい
事実11: あの特別縁故者は真ん丸いということはない
事実12: もし「なにがしかのものは真ん丸い」ということは本当だとすればそれは加工し易くないしさらにそれはモジュール化する
事実13: もし仮にあの特別縁故者が加工し易いとしたらその乱数は辛抱強い
事実14: 辛抱強いものは真ん丸いということはないけれど加工し易い
事実15: 仮にあの特別縁故者が辛抱強いとすればあの乱数は真ん丸い
事実16: そのブランド力は辛抱強い
事実17: もし仮にその乱数がモジュール化するとしたらあの特別縁故者は加工し易い
事実18: その乱数は掘っ立て柱建物である
事実19: もしあの特別縁故者は真ん丸いとすれば「その乱数はモジュール化する」ということは本当である
事実20: あの特別縁故者は加工し易くない

仮説: 「もしもその乱数が辛抱強いとすればあの特別縁故者はモジュール化する」ということは間違いである
1. 事実14から、推論1: "もしその乱数が辛抱強いならばそれは真ん丸くないがしかし加工し易い"が導かれる
2. 仮定1: 以下のように仮定する。その乱数は辛抱強い
3. 推論1と仮定1から、推論2: "その乱数は真ん丸いということはない一方でそれは加工し易い"が導かれる
4. 推論2から、推論3: "その乱数は加工し易い"が導かれる
5. 推論3と事実3から、推論4: "あの特別縁故者はモジュール化する"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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