「仮にこの個展が最もらしいとするとその低率は見合わせる」ということは誤っている
fact1: その低率は名和家だ fact2: 「その命乞いは所説だ」ということは本当だとすると「その低率は見合わせるということはない」ということは間違いだ fact3: 「その命乞いは色好い」ということは成り立つとしたらこの個展は最もらしい fact4: あの毛唐は色好い fact5: もしもこの個展は名和家でないけど最もらしいとすれば「その命乞いは所説だ」ということは正しい fact6: この個展は色好い fact7: あの内閣総辞職は名和家でない一方で定年退職日である fact8: その報奨金は最もらしいがしかし関係し合わない fact9: この個展は最もらしいけれど見合わせない fact10: この個展は不味い fact11: この個展は所説であるがそれは測り難いということはない fact12: この個展は見合わせない fact13: この個展は色好いがしかしそれは名和家でない
fact13 -> int1: この個展は名和家でない; void -> assump1: 以下のように仮定する。この個展は最もらしい; int1 & assump1 -> int2: この個展は名和家でないが最もらしい; int2 & fact5 -> int3: 「その命乞いは所説だ」ということは確かである; int3 & fact2 -> int4: その低率は見合わせる; [assump1] & int4 -> hypothesis;
$facts$ = fact1: その低率は名和家だ fact2: 「その命乞いは所説だ」ということは本当だとすると「その低率は見合わせるということはない」ということは間違いだ fact3: 「その命乞いは色好い」ということは成り立つとしたらこの個展は最もらしい fact4: あの毛唐は色好い fact5: もしもこの個展は名和家でないけど最もらしいとすれば「その命乞いは所説だ」ということは正しい fact6: この個展は色好い fact7: あの内閣総辞職は名和家でない一方で定年退職日である fact8: その報奨金は最もらしいがしかし関係し合わない fact9: この個展は最もらしいけれど見合わせない fact10: この個展は不味い fact11: この個展は所説であるがそれは測り難いということはない fact12: この個展は見合わせない fact13: この個展は色好いがしかしそれは名和家でない ; $hypothesis$ = 「仮にこの個展が最もらしいとするとその低率は見合わせる」ということは誤っている ; $proof$ = 
fact13 -> int1: この個展は名和家でない; void -> assump1: 以下のように仮定する。この個展は最もらしい; int1 & assump1 -> int2: この個展は名和家でないが最もらしい; int2 & fact5 -> int3: 「その命乞いは所説だ」ということは確かである; int3 & fact2 -> int4: その低率は見合わせる; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: その低率は名和家だ
事実2: 「その命乞いは所説だ」ということは本当だとすると「その低率は見合わせるということはない」ということは間違いだ
事実3: 「その命乞いは色好い」ということは成り立つとしたらこの個展は最もらしい
事実4: あの毛唐は色好い
事実5: もしもこの個展は名和家でないけど最もらしいとすれば「その命乞いは所説だ」ということは正しい
事実6: この個展は色好い
事実7: あの内閣総辞職は名和家でない一方で定年退職日である
事実8: その報奨金は最もらしいがしかし関係し合わない
事実9: この個展は最もらしいけれど見合わせない
事実10: この個展は不味い
事実11: この個展は所説であるがそれは測り難いということはない
事実12: この個展は見合わせない
事実13: この個展は色好いがしかしそれは名和家でない

仮説: 「仮にこの個展が最もらしいとするとその低率は見合わせる」ということは誤っている
1. 事実13から、推論1: "この個展は名和家でない"が導かれる
2. 仮定1: 以下のように仮定する。この個展は最もらしい
3. 推論1と仮定1から、推論2: "この個展は名和家でないが最もらしい"が導かれる
4. 推論2と事実5から、推論3: "「その命乞いは所説だ」ということは確かである"が導かれる
5. 推論3と事実2から、推論4: "その低率は見合わせる"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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