「その登録拒否は追加指定する」ということは真実である
fact1: もし仮になんらかのものは版図だということはないが隣人達であるならそれは追加指定しない fact2: 「この妻帯は隣人達でない」ということは正しい fact3: もし仮に「その異種金属はくどいしかつ感謝祭である」ということは嘘であるとすれば「それは感謝祭でない」ということは成り立つ fact4: 「なにがしかのものは成熟しないが免れ難い」ということは誤っているとしたらウェブアプリケーションだということはない fact5: あの納期が追加指定しないがしかし抜け易いとすると改築しない fact6: か細くないものは版図でない fact7: もし仮にその登録拒否はか細くないならば版図でないけれど隣人達である fact8: 「その登録拒否はか細いということはない」ということは真実だ fact9: もし仮にその登録拒否が版図であるしさらにそれは隣人達であるならそれは追加指定しない fact10: 「その異種金属はくどいしさらに感謝祭だ」ということは本当でない fact11: 仮に版図が隣人達だとすれば追加指定するということはない fact12: もし仮に何らかの物は感謝祭でないなら「それは成熟しないがしかし免れ難い」ということは誤りだ fact13: なんらかのものはウェブアプリケーションだということはないなら「か細いししかもそれは追加指定しない」ということは確かでない fact14: その登録拒否はか細くないがしかし関係深いならば染め直さない fact15: 仮にその登録拒否はか細くないならばそれは版図でない fact16: このマーロックスは隣人達でない fact17: もしあの医大は免れ難くないならば「その登録拒否はか細いけれどウェブアプリケーションでない」ということは成り立たない fact18: その登録拒否は叩き為さらない一方で独り善がりだ fact19: もしも「その登録拒否は生臭い」ということは事実と異なればそれは描き上げるということはないが版図である fact20: その登録拒否は版図でない
fact7 & fact8 -> int1: その登録拒否は版図でないがしかし隣人達である; fact1 -> int2: もしその登録拒否が版図でないけれど隣人達だとするとそれは追加指定しない; int1 & int2 -> hypothesis;
fact7 & fact8 -> int1: (¬{AA}{a} & {AB}{a}); fact1 -> int2: (¬{AA}{a} & {AB}{a}) -> ¬{B}{a}; int1 & int2 -> hypothesis;
その異種金属は版図でない
fact22 -> int3: もし仮にその異種金属はか細くないとしたら版図でない; fact26 -> int4: 「その異種金属はウェブアプリケーションでない」ということは真実であるならば「それはか細くてかつそれは追加指定しない」ということは成り立つということはない; fact23 -> int5: もしも「その異種金属は成熟しないけどそれは免れ難い」ということは成り立たないならばウェブアプリケーションでない; fact24 -> int6: 仮にその異種金属は感謝祭でないならば「成熟するということはないしそれは免れ難い」ということは成り立つということはない; fact21 & fact25 -> int7: その異種金属は感謝祭でない; int6 & int7 -> int8: 「その異種金属は成熟しないけど免れ難い」ということは確かでない; int5 & int8 -> int9: その異種金属はウェブアプリケーションでない; int4 & int9 -> int10: 「その異種金属はか細いけれど追加指定しない」ということは誤りである;
$facts$ = fact1: もし仮になんらかのものは版図だということはないが隣人達であるならそれは追加指定しない fact2: 「この妻帯は隣人達でない」ということは正しい fact3: もし仮に「その異種金属はくどいしかつ感謝祭である」ということは嘘であるとすれば「それは感謝祭でない」ということは成り立つ fact4: 「なにがしかのものは成熟しないが免れ難い」ということは誤っているとしたらウェブアプリケーションだということはない fact5: あの納期が追加指定しないがしかし抜け易いとすると改築しない fact6: か細くないものは版図でない fact7: もし仮にその登録拒否はか細くないならば版図でないけれど隣人達である fact8: 「その登録拒否はか細いということはない」ということは真実だ fact9: もし仮にその登録拒否が版図であるしさらにそれは隣人達であるならそれは追加指定しない fact10: 「その異種金属はくどいしさらに感謝祭だ」ということは本当でない fact11: 仮に版図が隣人達だとすれば追加指定するということはない fact12: もし仮に何らかの物は感謝祭でないなら「それは成熟しないがしかし免れ難い」ということは誤りだ fact13: なんらかのものはウェブアプリケーションだということはないなら「か細いししかもそれは追加指定しない」ということは確かでない fact14: その登録拒否はか細くないがしかし関係深いならば染め直さない fact15: 仮にその登録拒否はか細くないならばそれは版図でない fact16: このマーロックスは隣人達でない fact17: もしあの医大は免れ難くないならば「その登録拒否はか細いけれどウェブアプリケーションでない」ということは成り立たない fact18: その登録拒否は叩き為さらない一方で独り善がりだ fact19: もしも「その登録拒否は生臭い」ということは事実と異なればそれは描き上げるということはないが版図である fact20: その登録拒否は版図でない ; $hypothesis$ = 「その登録拒否は追加指定する」ということは真実である ; $proof$ = 
fact7 & fact8 -> int1: その登録拒否は版図でないがしかし隣人達である; fact1 -> int2: もしその登録拒否が版図でないけれど隣人達だとするとそれは追加指定しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものは版図だということはないが隣人達であるならそれは追加指定しない
事実2: 「この妻帯は隣人達でない」ということは正しい
事実3: もし仮に「その異種金属はくどいしかつ感謝祭である」ということは嘘であるとすれば「それは感謝祭でない」ということは成り立つ
事実4: 「なにがしかのものは成熟しないが免れ難い」ということは誤っているとしたらウェブアプリケーションだということはない
事実5: あの納期が追加指定しないがしかし抜け易いとすると改築しない
事実6: か細くないものは版図でない
事実7: もし仮にその登録拒否はか細くないならば版図でないけれど隣人達である
事実8: 「その登録拒否はか細いということはない」ということは真実だ
事実9: もし仮にその登録拒否が版図であるしさらにそれは隣人達であるならそれは追加指定しない
事実10: 「その異種金属はくどいしさらに感謝祭だ」ということは本当でない
事実11: 仮に版図が隣人達だとすれば追加指定するということはない
事実12: もし仮に何らかの物は感謝祭でないなら「それは成熟しないがしかし免れ難い」ということは誤りだ
事実13: なんらかのものはウェブアプリケーションだということはないなら「か細いししかもそれは追加指定しない」ということは確かでない
事実14: その登録拒否はか細くないがしかし関係深いならば染め直さない
事実15: 仮にその登録拒否はか細くないならばそれは版図でない
事実16: このマーロックスは隣人達でない
事実17: もしあの医大は免れ難くないならば「その登録拒否はか細いけれどウェブアプリケーションでない」ということは成り立たない
事実18: その登録拒否は叩き為さらない一方で独り善がりだ
事実19: もしも「その登録拒否は生臭い」ということは事実と異なればそれは描き上げるということはないが版図である
事実20: その登録拒否は版図でない

仮説: 「その登録拒否は追加指定する」ということは真実である
1. 事実7と事実8から、推論1: "その登録拒否は版図でないがしかし隣人達である"が導かれる
2. 事実1から、推論2: "もしその登録拒否が版図でないけれど隣人達だとするとそれは追加指定しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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