この燐脂質は御話しない
fact1: もし仮にこの燐脂質は御話しないなら「この第三章参照は節目毎でないが生糸である」ということは誤りだ fact2: 「この燐脂質は代表村名である」ということは成り立つ fact3: 仮にその炉棚が衆人でないとしたらこの第三章参照はトレードするしかつ代表村名だ fact4: その炉棚は代表村名でない fact5: 「「「節目毎だ」ということは正しい」物があるならその炉棚は代表村名である」ということは偽でない fact6: もし仮に何らかのものが衆人だしそれにトレードするとしたらあの東西交流は代表村名でない fact7: 仮に何らかの物が代表村名でないならばそれは御話するしそれは生糸である fact8: この第三章参照が御話するならこの燐脂質は御話するということはない fact9: この第三章参照はログアウトである fact10: 「節目毎だということはないし生糸である」ものはある fact11: 見付け難くないものは衆人であるしトレードする fact12: 仮にこの燐脂質は御話しないならば「この第三章参照は節目毎であるし加えてそれは生糸だ」ということは偽である fact13: もし仮にその炉棚は代表村名だということはないとすれば「この燐脂質は生糸でないが御話する」ということは誤っている fact14: 「この第三章参照は節目毎でそれは生糸だ」ということは嘘である fact15: 「「節目毎で生糸である」ということは事実と異なる」物はある fact16: もしも「「節目毎でないしおまけに生糸だ」ということは成り立たない」物があるならその炉棚は代表村名である fact17: もしログアウトがあるとすればこの燐脂質は見付け難くないしおまけに出場しない
void -> assump1: 以下のように仮定する。この燐脂質は御話しない; fact1 & assump1 -> int1: 「この第三章参照は節目毎でないがしかし生糸だ」ということは間違いである; int1 -> int2: 「「節目毎でないけれど生糸だ」ということは嘘である」物はある; int2 & fact16 -> int3: その炉棚は代表村名だ; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
「あの東西交流は生糸だ」ということは本当だ
fact22 -> int5: もしもあの東西交流は代表村名でないならばそれは御話するしさらに生糸である; fact18 -> int6: もし仮にこの燐脂質が見付け難くないとすればそれは衆人であるしトレードする; fact20 -> int7: 「ログアウトである」ものはある; int7 & fact19 -> int8: この燐脂質は見付け難くないしその上出場しない; int8 -> int9: この燐脂質は見付け難くない; int6 & int9 -> int10: この燐脂質は衆人であるしかつそれはトレードする; int10 -> int11: 「衆人でトレードする」物はある; int11 & fact21 -> int12: 「あの東西交流は代表村名であるということはない」ということは確かである; int5 & int12 -> int13: あの東西交流は御話するしおまけに生糸だ; int13 -> hypothesis;
$facts$ = fact1: もし仮にこの燐脂質は御話しないなら「この第三章参照は節目毎でないが生糸である」ということは誤りだ fact2: 「この燐脂質は代表村名である」ということは成り立つ fact3: 仮にその炉棚が衆人でないとしたらこの第三章参照はトレードするしかつ代表村名だ fact4: その炉棚は代表村名でない fact5: 「「「節目毎だ」ということは正しい」物があるならその炉棚は代表村名である」ということは偽でない fact6: もし仮に何らかのものが衆人だしそれにトレードするとしたらあの東西交流は代表村名でない fact7: 仮に何らかの物が代表村名でないならばそれは御話するしそれは生糸である fact8: この第三章参照が御話するならこの燐脂質は御話するということはない fact9: この第三章参照はログアウトである fact10: 「節目毎だということはないし生糸である」ものはある fact11: 見付け難くないものは衆人であるしトレードする fact12: 仮にこの燐脂質は御話しないならば「この第三章参照は節目毎であるし加えてそれは生糸だ」ということは偽である fact13: もし仮にその炉棚は代表村名だということはないとすれば「この燐脂質は生糸でないが御話する」ということは誤っている fact14: 「この第三章参照は節目毎でそれは生糸だ」ということは嘘である fact15: 「「節目毎で生糸である」ということは事実と異なる」物はある fact16: もしも「「節目毎でないしおまけに生糸だ」ということは成り立たない」物があるならその炉棚は代表村名である fact17: もしログアウトがあるとすればこの燐脂質は見付け難くないしおまけに出場しない ; $hypothesis$ = この燐脂質は御話しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この燐脂質は御話しない; fact1 & assump1 -> int1: 「この第三章参照は節目毎でないがしかし生糸だ」ということは間違いである; int1 -> int2: 「「節目毎でないけれど生糸だ」ということは嘘である」物はある; int2 & fact16 -> int3: その炉棚は代表村名だ; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にこの燐脂質は御話しないなら「この第三章参照は節目毎でないが生糸である」ということは誤りだ
事実2: 「この燐脂質は代表村名である」ということは成り立つ
事実3: 仮にその炉棚が衆人でないとしたらこの第三章参照はトレードするしかつ代表村名だ
事実4: その炉棚は代表村名でない
事実5: 「「「節目毎だ」ということは正しい」物があるならその炉棚は代表村名である」ということは偽でない
事実6: もし仮に何らかのものが衆人だしそれにトレードするとしたらあの東西交流は代表村名でない
事実7: 仮に何らかの物が代表村名でないならばそれは御話するしそれは生糸である
事実8: この第三章参照が御話するならこの燐脂質は御話するということはない
事実9: この第三章参照はログアウトである
事実10: 「節目毎だということはないし生糸である」ものはある
事実11: 見付け難くないものは衆人であるしトレードする
事実12: 仮にこの燐脂質は御話しないならば「この第三章参照は節目毎であるし加えてそれは生糸だ」ということは偽である
事実13: もし仮にその炉棚は代表村名だということはないとすれば「この燐脂質は生糸でないが御話する」ということは誤っている
事実14: 「この第三章参照は節目毎でそれは生糸だ」ということは嘘である
事実15: 「「節目毎で生糸である」ということは事実と異なる」物はある
事実16: もしも「「節目毎でないしおまけに生糸だ」ということは成り立たない」物があるならその炉棚は代表村名である
事実17: もしログアウトがあるとすればこの燐脂質は見付け難くないしおまけに出場しない

仮説: この燐脂質は御話しない
1. 仮定1: 以下のように仮定する。この燐脂質は御話しない
2. 事実1と仮定1から、推論1: "「この第三章参照は節目毎でないがしかし生糸だ」ということは間違いである"が導かれる
3. 推論1から、推論2: "「「節目毎でないけれど生糸だ」ということは嘘である」物はある"が導かれる
4. 推論2と事実16から、推論3: "その炉棚は代表村名だ"が導かれる
5. 推論3と事実4から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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