この器体は御餅でまたそれは有意味感だ
fact1: この器体は実習しない fact2: もしこの器体が濯ぎでないとしたら指弾するしおまけにそれは掲載誌だ fact3: もし仮にこの器体は創立しないとすれば「それは強制加入でないけど千六百字だ」ということは正しい fact4: あのツ反応検査は創立しない fact5: もし仮に「この属性情報は千六百字でない」ということは正しいとすればその動力性は家庭作りだし御餅だ fact6: あの営業費用は創立しないけれどそれは指弾する fact7: この器体は指弾する fact8: 仮に「創立するということはないけど指弾する」ものがあるならこの属性情報は千六百字でない fact9: もしもこの器体は把握し易くないとしたら指弾する fact10: この遠征軍は強制加入でない fact11: 仮にこの器体は把握し易くないならば有意味感であるし加えて指弾する fact12: 「この器体は把握し易いということはない」ということは確かだ fact13: この器体は創立しない fact14: もしも「あの営業費用は指弾するし把握し易い」ということは事実と異なるとしたらこの属性情報は創立しない fact15: 「この器体は事務員だ」ということは嘘でない fact16: なにがしかの物は御餅でないならばそれは強制加入だ fact17: 仮にこの紙質が強制加入でなくてしかも有意味感でないとすればその動力性は強制加入である fact18: この器体が創立しないならそれは千六百字だ fact19: この器体は千六百字でその上画面表示用である fact20: もしこの属性情報が千六百字でないならこの紙質は有意味感でなくてまたそれは強制加入でない fact21: その黄白は御餅だ
fact16 -> int1: もし「この器体は御餅であるということはない」ということは成り立つとすれば強制加入である; void -> assump1: 以下のように仮定する。この器体は御餅でない; int1 & assump1 -> int2: この器体は強制加入である; fact13 & fact3 -> int3: この器体は強制加入でないけどそれは千六百字である; int3 -> int4: この器体は強制加入でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この器体は御餅である; fact12 & fact11 -> int7: この器体は有意味感であるし加えてそれは指弾する; int7 -> int8: この器体は有意味感だ; int6 & int8 -> hypothesis;
その動力性は家庭作りであるし更にそれは強制加入だ
fact22 -> int9: なんらかのものは創立しないが指弾する; int9 & fact23 -> int10: この属性情報は千六百字でない; fact25 & int10 -> int11: その動力性は家庭作りであるしかつ御餅だ; int11 -> int12: その動力性は家庭作りである;
$facts$ = fact1: この器体は実習しない fact2: もしこの器体が濯ぎでないとしたら指弾するしおまけにそれは掲載誌だ fact3: もし仮にこの器体は創立しないとすれば「それは強制加入でないけど千六百字だ」ということは正しい fact4: あのツ反応検査は創立しない fact5: もし仮に「この属性情報は千六百字でない」ということは正しいとすればその動力性は家庭作りだし御餅だ fact6: あの営業費用は創立しないけれどそれは指弾する fact7: この器体は指弾する fact8: 仮に「創立するということはないけど指弾する」ものがあるならこの属性情報は千六百字でない fact9: もしもこの器体は把握し易くないとしたら指弾する fact10: この遠征軍は強制加入でない fact11: 仮にこの器体は把握し易くないならば有意味感であるし加えて指弾する fact12: 「この器体は把握し易いということはない」ということは確かだ fact13: この器体は創立しない fact14: もしも「あの営業費用は指弾するし把握し易い」ということは事実と異なるとしたらこの属性情報は創立しない fact15: 「この器体は事務員だ」ということは嘘でない fact16: なにがしかの物は御餅でないならばそれは強制加入だ fact17: 仮にこの紙質が強制加入でなくてしかも有意味感でないとすればその動力性は強制加入である fact18: この器体が創立しないならそれは千六百字だ fact19: この器体は千六百字でその上画面表示用である fact20: もしこの属性情報が千六百字でないならこの紙質は有意味感でなくてまたそれは強制加入でない fact21: その黄白は御餅だ ; $hypothesis$ = この器体は御餅でまたそれは有意味感だ ; $proof$ = 
fact16 -> int1: もし「この器体は御餅であるということはない」ということは成り立つとすれば強制加入である; void -> assump1: 以下のように仮定する。この器体は御餅でない; int1 & assump1 -> int2: この器体は強制加入である; fact13 & fact3 -> int3: この器体は強制加入でないけどそれは千六百字である; int3 -> int4: この器体は強制加入でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この器体は御餅である; fact12 & fact11 -> int7: この器体は有意味感であるし加えてそれは指弾する; int7 -> int8: この器体は有意味感だ; int6 & int8 -> hypothesis; __PROVED__
事実1: この器体は実習しない
事実2: もしこの器体が濯ぎでないとしたら指弾するしおまけにそれは掲載誌だ
事実3: もし仮にこの器体は創立しないとすれば「それは強制加入でないけど千六百字だ」ということは正しい
事実4: あのツ反応検査は創立しない
事実5: もし仮に「この属性情報は千六百字でない」ということは正しいとすればその動力性は家庭作りだし御餅だ
事実6: あの営業費用は創立しないけれどそれは指弾する
事実7: この器体は指弾する
事実8: 仮に「創立するということはないけど指弾する」ものがあるならこの属性情報は千六百字でない
事実9: もしもこの器体は把握し易くないとしたら指弾する
事実10: この遠征軍は強制加入でない
事実11: 仮にこの器体は把握し易くないならば有意味感であるし加えて指弾する
事実12: 「この器体は把握し易いということはない」ということは確かだ
事実13: この器体は創立しない
事実14: もしも「あの営業費用は指弾するし把握し易い」ということは事実と異なるとしたらこの属性情報は創立しない
事実15: 「この器体は事務員だ」ということは嘘でない
事実16: なにがしかの物は御餅でないならばそれは強制加入だ
事実17: 仮にこの紙質が強制加入でなくてしかも有意味感でないとすればその動力性は強制加入である
事実18: この器体が創立しないならそれは千六百字だ
事実19: この器体は千六百字でその上画面表示用である
事実20: もしこの属性情報が千六百字でないならこの紙質は有意味感でなくてまたそれは強制加入でない
事実21: その黄白は御餅だ

仮説: この器体は御餅でまたそれは有意味感だ
1. 事実16から、推論1: "もし「この器体は御餅であるということはない」ということは成り立つとすれば強制加入である"が導かれる
2. 仮定1: 以下のように仮定する。この器体は御餅でない
3. 推論1と仮定1から、推論2: "この器体は強制加入である"が導かれる
4. 事実13と事実3から、推論3: "この器体は強制加入でないけどそれは千六百字である"が導かれる
5. 推論3から、推論4: "この器体は強制加入でない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この器体は御餅である"が導かれる
8. 事実12と事実11から、推論7: "この器体は有意味感であるし加えてそれは指弾する"が導かれる
9. 推論7から、推論8: "この器体は有意味感だ"が導かれる
10. 推論6と推論8から、仮説が導かれる

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