「あの大宣教命令は言えるかペンシルだということはないかどちらもだ」ということは間違っている
fact1: そのギヤが言えないならあの大宣教命令は言えるかもしくはペンシルでないかあるいは両方ともである fact2: なにがしかのものが増さないとするとそれは仲直りしないけど注意深い fact3: 「視野周辺部な」物はある fact4: 仮にそのギヤが言えらないとするとあの大宣教命令は言えるかまたはペンシルであるかまたはどちらもである fact5: もし仮に「綾なすしおまけに視野周辺部な」物があるとすればその儀礼は仲直りする fact6: この監修は視野周辺部である fact7: もしこの監修が調べ易いとするとそのギヤは調べ易い fact8: もしある物が調べ易いとしたらそれは増す fact9: もしその儀礼が増さないとするとそれは仲直りしないしまた注意深くない fact10: もし仮にそのギヤが調べ易いならばこの監修は増す fact11: 「綾なす」物はある fact12: あの大宣教命令は言えるかまたはペンシルである fact13: その儀礼は視野周辺部である fact14: もしとある物は増すし注意深いとすると言えらない fact15: もし「その儀礼は綾なす」ということは成り立つなら「あの大宣教命令は言えるかあるいはそれはペンシルでないかあるいは両方だ」ということは誤りである fact16: もしそのギヤは仲直りしないとしたら「その儀礼は綾なさなくて視野周辺部でない」ということは偽である fact17: もし仮にこの監修が聞き給わないけど増すならそのギヤは増さない fact18: 「なにかは綾なさないとすると「それは言えるかあるいはそれはペンシルでないかもしくはどちらもだ」ということは偽である」ということは成り立つ fact19: 仮にそのギヤが増すし調べ易いとしたらそれはペンシルでない fact20: 「あの大宣教命令は注意深い」ということは確かである fact21: この監修は調べ易い fact22: この監修は綾なさない fact23: もし仮に使い難い物が心苦しいならばそそり立たない fact24: 「綾なすししかも視野周辺部である」物はある fact25: 仮にその儀礼は仲直りするなら「そのギヤは注意深い」ということは偽であるということはない
fact24 & fact5 -> int1: その儀礼は仲直りする; int1 & fact25 -> int2: そのギヤは注意深い; fact8 -> int3: もしそのギヤが調べ易いなら増す; fact21 & fact7 -> int4: そのギヤは調べ易い; int3 & int4 -> int5: そのギヤは増す; int2 & int5 -> int6: そのギヤは増すしまたそれは注意深い; fact14 -> int7: 仮にそのギヤが増すしそれが注意深いとするとそれは言えらない; int6 & int7 -> int8: そのギヤは言えらない; int8 & fact1 -> hypothesis;
「あの大宣教命令は言えるかまたはペンシルでないかもしくは両方ともだ」ということは誤っている
$facts$ = fact1: そのギヤが言えないならあの大宣教命令は言えるかもしくはペンシルでないかあるいは両方ともである fact2: なにがしかのものが増さないとするとそれは仲直りしないけど注意深い fact3: 「視野周辺部な」物はある fact4: 仮にそのギヤが言えらないとするとあの大宣教命令は言えるかまたはペンシルであるかまたはどちらもである fact5: もし仮に「綾なすしおまけに視野周辺部な」物があるとすればその儀礼は仲直りする fact6: この監修は視野周辺部である fact7: もしこの監修が調べ易いとするとそのギヤは調べ易い fact8: もしある物が調べ易いとしたらそれは増す fact9: もしその儀礼が増さないとするとそれは仲直りしないしまた注意深くない fact10: もし仮にそのギヤが調べ易いならばこの監修は増す fact11: 「綾なす」物はある fact12: あの大宣教命令は言えるかまたはペンシルである fact13: その儀礼は視野周辺部である fact14: もしとある物は増すし注意深いとすると言えらない fact15: もし「その儀礼は綾なす」ということは成り立つなら「あの大宣教命令は言えるかあるいはそれはペンシルでないかあるいは両方だ」ということは誤りである fact16: もしそのギヤは仲直りしないとしたら「その儀礼は綾なさなくて視野周辺部でない」ということは偽である fact17: もし仮にこの監修が聞き給わないけど増すならそのギヤは増さない fact18: 「なにかは綾なさないとすると「それは言えるかあるいはそれはペンシルでないかもしくはどちらもだ」ということは偽である」ということは成り立つ fact19: 仮にそのギヤが増すし調べ易いとしたらそれはペンシルでない fact20: 「あの大宣教命令は注意深い」ということは確かである fact21: この監修は調べ易い fact22: この監修は綾なさない fact23: もし仮に使い難い物が心苦しいならばそそり立たない fact24: 「綾なすししかも視野周辺部である」物はある fact25: 仮にその儀礼は仲直りするなら「そのギヤは注意深い」ということは偽であるということはない ; $hypothesis$ = 「あの大宣教命令は言えるかペンシルだということはないかどちらもだ」ということは間違っている ; $proof$ = 
fact24 & fact5 -> int1: その儀礼は仲直りする; int1 & fact25 -> int2: そのギヤは注意深い; fact8 -> int3: もしそのギヤが調べ易いなら増す; fact21 & fact7 -> int4: そのギヤは調べ易い; int3 & int4 -> int5: そのギヤは増す; int2 & int5 -> int6: そのギヤは増すしまたそれは注意深い; fact14 -> int7: 仮にそのギヤが増すしそれが注意深いとするとそれは言えらない; int6 & int7 -> int8: そのギヤは言えらない; int8 & fact1 -> hypothesis; __DISPROVED__
事実1: そのギヤが言えないならあの大宣教命令は言えるかもしくはペンシルでないかあるいは両方ともである
事実2: なにがしかのものが増さないとするとそれは仲直りしないけど注意深い
事実3: 「視野周辺部な」物はある
事実4: 仮にそのギヤが言えらないとするとあの大宣教命令は言えるかまたはペンシルであるかまたはどちらもである
事実5: もし仮に「綾なすしおまけに視野周辺部な」物があるとすればその儀礼は仲直りする
事実6: この監修は視野周辺部である
事実7: もしこの監修が調べ易いとするとそのギヤは調べ易い
事実8: もしある物が調べ易いとしたらそれは増す
事実9: もしその儀礼が増さないとするとそれは仲直りしないしまた注意深くない
事実10: もし仮にそのギヤが調べ易いならばこの監修は増す
事実11: 「綾なす」物はある
事実12: あの大宣教命令は言えるかまたはペンシルである
事実13: その儀礼は視野周辺部である
事実14: もしとある物は増すし注意深いとすると言えらない
事実15: もし「その儀礼は綾なす」ということは成り立つなら「あの大宣教命令は言えるかあるいはそれはペンシルでないかあるいは両方だ」ということは誤りである
事実16: もしそのギヤは仲直りしないとしたら「その儀礼は綾なさなくて視野周辺部でない」ということは偽である
事実17: もし仮にこの監修が聞き給わないけど増すならそのギヤは増さない
事実18: 「なにかは綾なさないとすると「それは言えるかあるいはそれはペンシルでないかもしくはどちらもだ」ということは偽である」ということは成り立つ
事実19: 仮にそのギヤが増すし調べ易いとしたらそれはペンシルでない
事実20: 「あの大宣教命令は注意深い」ということは確かである
事実21: この監修は調べ易い
事実22: この監修は綾なさない
事実23: もし仮に使い難い物が心苦しいならばそそり立たない
事実24: 「綾なすししかも視野周辺部である」物はある
事実25: 仮にその儀礼は仲直りするなら「そのギヤは注意深い」ということは偽であるということはない

仮説: 「あの大宣教命令は言えるかペンシルだということはないかどちらもだ」ということは間違っている
1. 事実24と事実5から、推論1: "その儀礼は仲直りする"が導かれる
2. 推論1と事実25から、推論2: "そのギヤは注意深い"が導かれる
3. 事実8から、推論3: "もしそのギヤが調べ易いなら増す"が導かれる
4. 事実21と事実7から、推論4: "そのギヤは調べ易い"が導かれる
5. 推論3と推論4から、推論5: "そのギヤは増す"が導かれる
6. 推論2と推論5から、推論6: "そのギヤは増すしまたそれは注意深い"が導かれる
7. 事実14から、推論7: "仮にそのギヤが増すしそれが注意深いとするとそれは言えらない"が導かれる
8. 推論6と推論7から、推論8: "そのギヤは言えらない"が導かれる
9. 推論8と事実1から、仮説が否定される

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