「もし仮にあの原著論文が言い辛くないけど極まりないならばあの私達親子は読経しない」ということは成り立たない
fact1: 「あの原著論文は言い辛いけど極まりないということはない」ということは嘘ならばその明治憲法は言い辛くない fact2: 何らかの物が香しいけれどそれが裏口入学しないとすると除菌する fact3: もしあの原著論文は言い辛くないならば「その敷金は付け難いしおまけに言い辛い」ということは誤りだ fact4: もし何らかの物は付け難くないとしたら「読経するししかも言い辛い」ということは成り立たない fact5: 言い辛くない物はあるとすれば「あの原著論文は言い辛いがしかし極まりなくない」ということは誤っている fact6: この前任校は来辛い fact7: もしあの原著論文は言い辛いということはないとすると「その敷金は付け難いけれど言い辛くない」ということは成り立たない fact8: 「その敷金は付け難いしその上言い辛い」ということは成り立つということはない fact9: あのアルビノが修復するということはなくてそれは成功出来ないとすれば「あの基礎的地方公共団体は修復する」ということは成り立つ fact10: この私達親子は読経する fact11: もしあの基礎的地方公共団体が修復するならこの私達親子は付け難くない fact12: あのアルビノは裏口入学しない fact13: もし「来辛い」ものがあるとしたらあのアルビノは危機対応勘定であるしその上香しい fact14: もし「その敷金は付け難いけれど言い辛くない」ということは間違いであるとすると「この私達親子は読経する」ということは誤りだ fact15: もし「「読経するしかつ言い辛い」ということは嘘な」ものがあるとするとその敷金は言い辛くない fact16: 仮に「その敷金は言い辛い」ということは事実であるとしたらこの私達親子は読経しない fact17: 「あの原著論文は極まりない」ということは成り立つ fact18: もしあの原著論文が言い辛くないがしかし極まりないとするとこの私達親子は読経する fact19: あのアルビノが除菌するとすればそれは修復するということはないしまた成功出来ない
void -> assump1: 以下のように仮定する。あの原著論文は言い辛くないけど極まりない; assump1 -> int1: あの原著論文は言い辛くない; int1 & fact7 -> int2: 「「「その敷金は付け難い一方で言い辛くない」ということは真実である」ということは事実だということはない」ということは正しい; int2 & fact14 -> int3: この私達親子は読経しない; [assump1] & int3 -> hypothesis;
「その明治憲法は言い辛くない」ということは確かだ
fact21 -> int4: もしもこの私達親子は付け難くないなら「読経するし言い辛い」ということは事実と異なる; fact30 -> int5: もし仮にあのアルビノが香しいけどそれが裏口入学しないならばそれは除菌する; fact24 -> int6: あるものは来辛い; int6 & fact28 -> int7: あのアルビノは危機対応勘定であるしさらに香しい; int7 -> int8: あのアルビノは香しい; int8 & fact22 -> int9: あのアルビノは香しい一方で裏口入学しない; int5 & int9 -> int10: あのアルビノは除菌する; fact23 & int10 -> int11: あのアルビノは修復しなくてそれは成功出来るということはない; fact25 & int11 -> int12: あの基礎的地方公共団体は修復する; fact26 & int12 -> int13: この私達親子は付け難くない; int4 & int13 -> int14: 「この私達親子は読経するし加えて言い辛い」ということは嘘だ; int14 -> int15: 「「読経するし言い辛い」ということは成り立たない」ものはある; int15 & fact20 -> int16: その敷金は言い辛くない; int16 -> int17: ある物は言い辛くない; int17 & fact27 -> int18: 「あの原著論文は言い辛いがしかし極まりないということはない」ということは成り立たない; fact29 & int18 -> hypothesis;
$facts$ = fact1: 「あの原著論文は言い辛いけど極まりないということはない」ということは嘘ならばその明治憲法は言い辛くない fact2: 何らかの物が香しいけれどそれが裏口入学しないとすると除菌する fact3: もしあの原著論文は言い辛くないならば「その敷金は付け難いしおまけに言い辛い」ということは誤りだ fact4: もし何らかの物は付け難くないとしたら「読経するししかも言い辛い」ということは成り立たない fact5: 言い辛くない物はあるとすれば「あの原著論文は言い辛いがしかし極まりなくない」ということは誤っている fact6: この前任校は来辛い fact7: もしあの原著論文は言い辛いということはないとすると「その敷金は付け難いけれど言い辛くない」ということは成り立たない fact8: 「その敷金は付け難いしその上言い辛い」ということは成り立つということはない fact9: あのアルビノが修復するということはなくてそれは成功出来ないとすれば「あの基礎的地方公共団体は修復する」ということは成り立つ fact10: この私達親子は読経する fact11: もしあの基礎的地方公共団体が修復するならこの私達親子は付け難くない fact12: あのアルビノは裏口入学しない fact13: もし「来辛い」ものがあるとしたらあのアルビノは危機対応勘定であるしその上香しい fact14: もし「その敷金は付け難いけれど言い辛くない」ということは間違いであるとすると「この私達親子は読経する」ということは誤りだ fact15: もし「「読経するしかつ言い辛い」ということは嘘な」ものがあるとするとその敷金は言い辛くない fact16: 仮に「その敷金は言い辛い」ということは事実であるとしたらこの私達親子は読経しない fact17: 「あの原著論文は極まりない」ということは成り立つ fact18: もしあの原著論文が言い辛くないがしかし極まりないとするとこの私達親子は読経する fact19: あのアルビノが除菌するとすればそれは修復するということはないしまた成功出来ない ; $hypothesis$ = 「もし仮にあの原著論文が言い辛くないけど極まりないならばあの私達親子は読経しない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの原著論文は言い辛くないけど極まりない; assump1 -> int1: あの原著論文は言い辛くない; int1 & fact7 -> int2: 「「「その敷金は付け難い一方で言い辛くない」ということは真実である」ということは事実だということはない」ということは正しい; int2 & fact14 -> int3: この私達親子は読経しない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「あの原著論文は言い辛いけど極まりないということはない」ということは嘘ならばその明治憲法は言い辛くない
事実2: 何らかの物が香しいけれどそれが裏口入学しないとすると除菌する
事実3: もしあの原著論文は言い辛くないならば「その敷金は付け難いしおまけに言い辛い」ということは誤りだ
事実4: もし何らかの物は付け難くないとしたら「読経するししかも言い辛い」ということは成り立たない
事実5: 言い辛くない物はあるとすれば「あの原著論文は言い辛いがしかし極まりなくない」ということは誤っている
事実6: この前任校は来辛い
事実7: もしあの原著論文は言い辛いということはないとすると「その敷金は付け難いけれど言い辛くない」ということは成り立たない
事実8: 「その敷金は付け難いしその上言い辛い」ということは成り立つということはない
事実9: あのアルビノが修復するということはなくてそれは成功出来ないとすれば「あの基礎的地方公共団体は修復する」ということは成り立つ
事実10: この私達親子は読経する
事実11: もしあの基礎的地方公共団体が修復するならこの私達親子は付け難くない
事実12: あのアルビノは裏口入学しない
事実13: もし「来辛い」ものがあるとしたらあのアルビノは危機対応勘定であるしその上香しい
事実14: もし「その敷金は付け難いけれど言い辛くない」ということは間違いであるとすると「この私達親子は読経する」ということは誤りだ
事実15: もし「「読経するしかつ言い辛い」ということは嘘な」ものがあるとするとその敷金は言い辛くない
事実16: 仮に「その敷金は言い辛い」ということは事実であるとしたらこの私達親子は読経しない
事実17: 「あの原著論文は極まりない」ということは成り立つ
事実18: もしあの原著論文が言い辛くないがしかし極まりないとするとこの私達親子は読経する
事実19: あのアルビノが除菌するとすればそれは修復するということはないしまた成功出来ない

仮説: 「もし仮にあの原著論文が言い辛くないけど極まりないならばあの私達親子は読経しない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの原著論文は言い辛くないけど極まりない
2. 仮定1から、推論1: "あの原著論文は言い辛くない"が導かれる
3. 推論1と事実7から、推論2: "「「「その敷金は付け難い一方で言い辛くない」ということは真実である」ということは事実だということはない」ということは正しい"が導かれる
4. 推論2と事実14から、推論3: "この私達親子は読経しない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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