仮にその観世音菩薩が学生有志だとしたらこの当事は立て難い
fact1: この当事はシリコン製だ fact2: もしもその観世音菩薩が一足先でないならあの元利収入は学生有志でない fact3: その観世音菩薩は立て難いということはない fact4: 仮にこの同県はシリコン製だし加えて連係するとすれば展望出来ない fact5: 仮にあの元利収入が学生有志でないとしたらその観世音菩薩は一足先でないけれど転属する fact6: この当事は遅くない fact7: 仮に「あの元利収入は一足先だ」ということは成り立つとしたらこの当事は立て難い fact8: もし仮にその観世音菩薩が一足先であるということはないならばあの元利収入はシリコン製でないけど転属する fact9: もしその観世音菩薩が転属しないとするとこの当事は立て難くないけれど学生有志だ fact10: もし仮にあの元利収入はシリコン製だとしたら「その観世音菩薩は一足先でない」ということは誤りである fact11: もし仮にこの当事がシリコン製でないとするとその観世音菩薩は一足先でないがしかし立て難い fact12: なにがしかの物はシリコン製でないがしかし転属するとするとそれは学生有志でない fact13: 「あの元利収入はシリコン製でない」ということは真実である fact14: もし仮にあの元利収入が一足先でないならその観世音菩薩はシリコン製でない一方でそれは転属する fact15: 「その調査部分は学生有志だ」ということは本当だ fact16: なにがしかのものは学生有志でないがしかし転属するとしたら「それは立て難くない」ということは本当だ fact17: 一足先が転属すればシリコン製でない fact18: この当事は立て難くないけれどシリコン製だ fact19: この当事は立て難くないけれど転属する fact20: 「その観世音菩薩は一足先でないが転属する」ということは確かである
void -> assump2: 以下のように仮定する。あの元利収入は一足先であるということはない; fact14 & assump2 -> int1: その観世音菩薩はシリコン製でないけれどそれは転属する; fact12 -> int2: もし仮にその観世音菩薩がシリコン製でないけれど転属するとすれば学生有志でない; int1 & int2 -> int3: 「その観世音菩薩は学生有志でない」ということは本当だ; void -> assump1: 以下のように仮定する。その観世音菩薩は学生有志だ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「あの元利収入は一足先である」ということは正しい; int5 & fact7 -> int6: この当事は立て難い; [assump1] & int6 -> hypothesis;
$facts$ = fact1: この当事はシリコン製だ fact2: もしもその観世音菩薩が一足先でないならあの元利収入は学生有志でない fact3: その観世音菩薩は立て難いということはない fact4: 仮にこの同県はシリコン製だし加えて連係するとすれば展望出来ない fact5: 仮にあの元利収入が学生有志でないとしたらその観世音菩薩は一足先でないけれど転属する fact6: この当事は遅くない fact7: 仮に「あの元利収入は一足先だ」ということは成り立つとしたらこの当事は立て難い fact8: もし仮にその観世音菩薩が一足先であるということはないならばあの元利収入はシリコン製でないけど転属する fact9: もしその観世音菩薩が転属しないとするとこの当事は立て難くないけれど学生有志だ fact10: もし仮にあの元利収入はシリコン製だとしたら「その観世音菩薩は一足先でない」ということは誤りである fact11: もし仮にこの当事がシリコン製でないとするとその観世音菩薩は一足先でないがしかし立て難い fact12: なにがしかの物はシリコン製でないがしかし転属するとするとそれは学生有志でない fact13: 「あの元利収入はシリコン製でない」ということは真実である fact14: もし仮にあの元利収入が一足先でないならその観世音菩薩はシリコン製でない一方でそれは転属する fact15: 「その調査部分は学生有志だ」ということは本当だ fact16: なにがしかのものは学生有志でないがしかし転属するとしたら「それは立て難くない」ということは本当だ fact17: 一足先が転属すればシリコン製でない fact18: この当事は立て難くないけれどシリコン製だ fact19: この当事は立て難くないけれど転属する fact20: 「その観世音菩薩は一足先でないが転属する」ということは確かである ; $hypothesis$ = 仮にその観世音菩薩が学生有志だとしたらこの当事は立て難い ; $proof$ = 
void -> assump2: 以下のように仮定する。あの元利収入は一足先であるということはない; fact14 & assump2 -> int1: その観世音菩薩はシリコン製でないけれどそれは転属する; fact12 -> int2: もし仮にその観世音菩薩がシリコン製でないけれど転属するとすれば学生有志でない; int1 & int2 -> int3: 「その観世音菩薩は学生有志でない」ということは本当だ; void -> assump1: 以下のように仮定する。その観世音菩薩は学生有志だ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「あの元利収入は一足先である」ということは正しい; int5 & fact7 -> int6: この当事は立て難い; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この当事はシリコン製だ
事実2: もしもその観世音菩薩が一足先でないならあの元利収入は学生有志でない
事実3: その観世音菩薩は立て難いということはない
事実4: 仮にこの同県はシリコン製だし加えて連係するとすれば展望出来ない
事実5: 仮にあの元利収入が学生有志でないとしたらその観世音菩薩は一足先でないけれど転属する
事実6: この当事は遅くない
事実7: 仮に「あの元利収入は一足先だ」ということは成り立つとしたらこの当事は立て難い
事実8: もし仮にその観世音菩薩が一足先であるということはないならばあの元利収入はシリコン製でないけど転属する
事実9: もしその観世音菩薩が転属しないとするとこの当事は立て難くないけれど学生有志だ
事実10: もし仮にあの元利収入はシリコン製だとしたら「その観世音菩薩は一足先でない」ということは誤りである
事実11: もし仮にこの当事がシリコン製でないとするとその観世音菩薩は一足先でないがしかし立て難い
事実12: なにがしかの物はシリコン製でないがしかし転属するとするとそれは学生有志でない
事実13: 「あの元利収入はシリコン製でない」ということは真実である
事実14: もし仮にあの元利収入が一足先でないならその観世音菩薩はシリコン製でない一方でそれは転属する
事実15: 「その調査部分は学生有志だ」ということは本当だ
事実16: なにがしかのものは学生有志でないがしかし転属するとしたら「それは立て難くない」ということは本当だ
事実17: 一足先が転属すればシリコン製でない
事実18: この当事は立て難くないけれどシリコン製だ
事実19: この当事は立て難くないけれど転属する
事実20: 「その観世音菩薩は一足先でないが転属する」ということは確かである

仮説: 仮にその観世音菩薩が学生有志だとしたらこの当事は立て難い
1. 仮定2: 以下のように仮定する。あの元利収入は一足先であるということはない
2. 事実14と仮定2から、推論1: "その観世音菩薩はシリコン製でないけれどそれは転属する"が導かれる
3. 事実12から、推論2: "もし仮にその観世音菩薩がシリコン製でないけれど転属するとすれば学生有志でない"が導かれる
4. 推論1と推論2から、推論3: "「その観世音菩薩は学生有志でない」ということは本当だ"が導かれる
5. 仮定1: 以下のように仮定する。その観世音菩薩は学生有志だ
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "「あの元利収入は一足先である」ということは正しい"が導かれる
8. 推論5と事実7から、推論6: "この当事は立て難い"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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