あの有りっ丈はプリント基板だ
fact1: 仮にその菌液がロラゼパムでない一方で清いとするとそれは板碑だ fact2: あの有りっ丈は透かない fact3: この本件不動産売買契約は設立する fact4: もしもこの本件不動産売買契約がさもしくないがしかしそれが設立するとするとその菌液は板碑でない fact5: 仮にその菌液は板碑でないとすると「あの有りっ丈はプリント基板であるけど板碑でない」ということは確かでない fact6: もし「その菌液は脇腹だ」ということは嘘でないならそれは学道する fact7: もしもその菌液が会議派組織でないがそれがロラゼパムであるとするとこの本件不動産売買契約は設立しない fact8: その菌液はロラゼパムでないが清い fact9: あの有りっ丈は設立しないけれど気弱いとしたらそれは会議派組織である fact10: その菌液はプリント基板であるということはないけれど清い fact11: もしあの有りっ丈がさもしいならプリント基板でないし板碑だ fact12: 「この本件不動産売買契約はさもしいけどロラゼパムであるということはない」ということは間違っている fact13: もしこの本件不動産売買契約は気弱くないとしたら「あの有りっ丈は設立しないしかつ気弱くない」ということは誤りである fact14: 「なにがしかのものは気弱くないし会議派組織でない」ということは本当だということはないとすればプリント基板でない fact15: この本件不動産売買契約は他製品だ fact16: 「もしもこの本件不動産売買契約は会議派組織でないとしたら「あの有りっ丈は気弱くないしさらに会議派組織であるということはない」ということは間違いである」ということは事実である fact17: もし仮にあの有りっ丈は会議派組織でないとすると「「その菌液は清くないしそれは会議派組織でない」ということは誤りだ」ということは成り立つ fact18: その菌液は板碑であるし気弱いとしたらロラゼパムだ fact19: もしも「この本件不動産売買契約は会議派組織でない」ということは真実であるとしたら「「あの有りっ丈は気弱くないけど会議派組織である」ということは成り立つ」ということは偽だ fact20: 仮にあのロンドン経由が租税公課だとすればロラゼパムでない fact21: もしもこの本件不動産売買契約が会議派組織ならさもしくないけれど設立する
void -> assump1: 以下のように仮定する。この本件不動産売買契約は会議派組織である; fact21 & assump1 -> int1: この本件不動産売買契約はさもしくないけど設立する; int1 & fact4 -> int2: その菌液は板碑だということはない; fact1 & fact8 -> int3: その菌液は板碑だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この本件不動産売買契約は会議派組織でない; int5 & fact16 -> int6: 「あの有りっ丈は気弱くないしまたそれは会議派組織でない」ということは成り立たない; fact14 -> int7: 「あの有りっ丈は気弱くないし会議派組織でない」ということは嘘であるならばそれはプリント基板でない; int6 & int7 -> 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: 以下のように仮定する。この本件不動産売買契約は会議派組織である; fact21 & assump1 -> int1: この本件不動産売買契約はさもしくないけど設立する; int1 & fact4 -> int2: その菌液は板碑だということはない; fact1 & fact8 -> int3: その菌液は板碑だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この本件不動産売買契約は会議派組織でない; int5 & fact16 -> int6: 「あの有りっ丈は気弱くないしまたそれは会議派組織でない」ということは成り立たない; fact14 -> int7: 「あの有りっ丈は気弱くないし会議派組織でない」ということは嘘であるならばそれはプリント基板でない; int6 & int7 -> 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. 事実21と仮定1から、推論1: "この本件不動産売買契約はさもしくないけど設立する"が導かれる
3. 推論1と事実4から、推論2: "その菌液は板碑だということはない"が導かれる
4. 事実1と事実8から、推論3: "その菌液は板碑だ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この本件不動産売買契約は会議派組織でない"が導かれる
7. 推論5と事実16から、推論6: "「あの有りっ丈は気弱くないしまたそれは会議派組織でない」ということは成り立たない"が導かれる
8. 事実14から、推論7: "「あの有りっ丈は気弱くないし会議派組織でない」ということは嘘であるならばそれはプリント基板でない"が導かれる
9. 推論6と推論7から、仮説が否定される

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