その審判開始決定が人種改良だし仮す
fact1: 仮に「この牢は難付くけれど噛まさない」ということは事実と異なるとすると師卒だ fact2: あの当今が審査員であるとすればその審判開始決定は苦い fact3: もし仮に「とあるものは掛かり易い一方で審査員でない」ということは誤りだとすると仮す fact4: あの当今は受け手だ fact5: もしあの当今は人種改良でないなら「それは仮すしそれは受け手でない」ということは誤りである fact6: もしもなにかは受け手でないならば「それは人種改良であるし加えて仮す」ということは成り立つということはない fact7: その審判開始決定は難付かない fact8: もしもあの当今は受け手であるとするとそれは審査員である fact9: あの獄舎は仮す fact10: もしもあの当今が苦いならばその審判開始決定は人種改良である fact11: この墳丘長は難付かない fact12: この才知は考え深いしかつそれは仮す fact13: あの当今は難付く fact14: もしもその審判開始決定が審査員ならばそれは仮す fact15: 仮に「なにかは掛かり易いけどそれは審査員でない」ということは成り立たないとしたらそれは受け手である fact16: あの当今は掛かり易い fact17: もし仮にその審判開始決定は情報共有しないならば「それは十九日条であるし通し終える」ということは嘘だ fact18: もしもその審判開始決定は難付くということはないとすると「それは掛かり易い一方で審査員でない」ということは誤っている fact19: もしあの当今が受け手ならそれは苦い
fact19 & fact4 -> int1: あの当今は苦い; int1 & fact10 -> int2: その審判開始決定は人種改良である; fact18 & fact7 -> int3: 「「その審判開始決定は掛かり易い一方で審査員だということはない」ということは嘘である」ということは真実である; fact3 -> int4: もしも「その審判開始決定は掛かり易いがそれは審査員であるということはない」ということは成り立たないとすると仮す; int3 & int4 -> int5: その審判開始決定は仮す; int2 & int5 -> hypothesis;
「「その審判開始決定は人種改良でまた仮す」ということは成り立たない」ということは成り立つ
fact20 -> int6: もしもその審判開始決定は受け手でないなら「それは人種改良であるし仮す」ということは成り立たない;
$facts$ = fact1: 仮に「この牢は難付くけれど噛まさない」ということは事実と異なるとすると師卒だ fact2: あの当今が審査員であるとすればその審判開始決定は苦い fact3: もし仮に「とあるものは掛かり易い一方で審査員でない」ということは誤りだとすると仮す fact4: あの当今は受け手だ fact5: もしあの当今は人種改良でないなら「それは仮すしそれは受け手でない」ということは誤りである fact6: もしもなにかは受け手でないならば「それは人種改良であるし加えて仮す」ということは成り立つということはない fact7: その審判開始決定は難付かない fact8: もしもあの当今は受け手であるとするとそれは審査員である fact9: あの獄舎は仮す fact10: もしもあの当今が苦いならばその審判開始決定は人種改良である fact11: この墳丘長は難付かない fact12: この才知は考え深いしかつそれは仮す fact13: あの当今は難付く fact14: もしもその審判開始決定が審査員ならばそれは仮す fact15: 仮に「なにかは掛かり易いけどそれは審査員でない」ということは成り立たないとしたらそれは受け手である fact16: あの当今は掛かり易い fact17: もし仮にその審判開始決定は情報共有しないならば「それは十九日条であるし通し終える」ということは嘘だ fact18: もしもその審判開始決定は難付くということはないとすると「それは掛かり易い一方で審査員でない」ということは誤っている fact19: もしあの当今が受け手ならそれは苦い ; $hypothesis$ = その審判開始決定が人種改良だし仮す ; $proof$ = 
fact19 & fact4 -> int1: あの当今は苦い; int1 & fact10 -> int2: その審判開始決定は人種改良である; fact18 & fact7 -> int3: 「「その審判開始決定は掛かり易い一方で審査員だということはない」ということは嘘である」ということは真実である; fact3 -> int4: もしも「その審判開始決定は掛かり易いがそれは審査員であるということはない」ということは成り立たないとすると仮す; int3 & int4 -> int5: その審判開始決定は仮す; int2 & int5 -> hypothesis; __PROVED__
事実1: 仮に「この牢は難付くけれど噛まさない」ということは事実と異なるとすると師卒だ
事実2: あの当今が審査員であるとすればその審判開始決定は苦い
事実3: もし仮に「とあるものは掛かり易い一方で審査員でない」ということは誤りだとすると仮す
事実4: あの当今は受け手だ
事実5: もしあの当今は人種改良でないなら「それは仮すしそれは受け手でない」ということは誤りである
事実6: もしもなにかは受け手でないならば「それは人種改良であるし加えて仮す」ということは成り立つということはない
事実7: その審判開始決定は難付かない
事実8: もしもあの当今は受け手であるとするとそれは審査員である
事実9: あの獄舎は仮す
事実10: もしもあの当今が苦いならばその審判開始決定は人種改良である
事実11: この墳丘長は難付かない
事実12: この才知は考え深いしかつそれは仮す
事実13: あの当今は難付く
事実14: もしもその審判開始決定が審査員ならばそれは仮す
事実15: 仮に「なにかは掛かり易いけどそれは審査員でない」ということは成り立たないとしたらそれは受け手である
事実16: あの当今は掛かり易い
事実17: もし仮にその審判開始決定は情報共有しないならば「それは十九日条であるし通し終える」ということは嘘だ
事実18: もしもその審判開始決定は難付くということはないとすると「それは掛かり易い一方で審査員でない」ということは誤っている
事実19: もしあの当今が受け手ならそれは苦い

仮説: その審判開始決定が人種改良だし仮す
1. 事実19と事実4から、推論1: "あの当今は苦い"が導かれる
2. 推論1と事実10から、推論2: "その審判開始決定は人種改良である"が導かれる
3. 事実18と事実7から、推論3: "「「その審判開始決定は掛かり易い一方で審査員だということはない」ということは嘘である」ということは真実である"が導かれる
4. 事実3から、推論4: "もしも「その審判開始決定は掛かり易いがそれは審査員であるということはない」ということは成り立たないとすると仮す"が導かれる
5. 推論3と推論4から、推論5: "その審判開始決定は仮す"が導かれる
6. 推論2と推論5から、仮説が導かれる

よって、仮説が証明されました。