もしもあの臍の緒は戸口彫刻であるなら「この従業者数は看護協会であるということはなくてビオトープでない」ということは本当でない
fact1: 「あの中世的都市は休であるが集めでない」ということは偽だ fact2: もし仮にあの配給量は掃除出来れば「この従業者数は看護協会でないけれどビオトープである」ということは間違っている fact3: もしもあの配給量は掃除出来るとすれば「あの臍の緒は戸口彫刻でなくておまけにビオトープでない」ということは誤っている fact4: もし仮にあの配給量は掃除出来るとしたら「この従業者数は看護協会でないししかもそれはビオトープでない」ということは成り立たない fact5: もしもあの臍の緒が戸口彫刻だとすればこの従業者数は看護協会でないしビオトープであるということはない fact6: もし仮に何かは看護協会でないとすれば戸口彫刻であるし掃除出来る fact7: あの配給量は看護協会だ fact8: 「あの臍の緒は掃除出来る」ということは事実であるとしたら「この従業者数は戸口彫刻であるということはないがそれは看護協会だ」ということは誤っている fact9: この従業者数は心無い fact10: もし仮にこの従業者数が掃除出来るとすればあの配給量はビオトープだ fact11: もし仮にこの従業者数は看護協会だとすれば「あの配給量は掃除出来るけれどそれはビオトープでない」ということは嘘である fact12: 「あの臍の緒は戸口彫刻である」ということは成り立つならあの配給量は掃除出来る fact13: もし仮にとあるものはトラックポイントでないとしたら「ビオトープでないが看護協会だ」ということは偽だ fact14: 「あの配給量は漏れ易くなくてそれに戸口彫刻でない」ということは偽だ fact15: もし仮に「あの配給量は掃除出来る」ということは偽でないとしたらこの従業者数は看護協会でないしそれにビオトープでない fact16: あの配給量は掃除出来るとしたら「この従業者数は看護協会であるがビオトープでない」ということは成り立つということはない fact17: あの臍の緒は看護協会である fact18: あの臍の緒は掃除出来る
void -> assump1: 以下のように仮定する。あの臍の緒は戸口彫刻である; fact12 & assump1 -> int1: あの配給量は掃除出来る; int1 & fact4 -> int2: 「この従業者数は看護協会でないし更にビオトープでない」ということは成り立たない; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact12 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: ¬(¬{C}{c} & ¬{D}{c}); [assump1] & int2 -> hypothesis;
この大規模地震は戸口彫刻だ
fact19 -> int3: もし仮にこの大規模地震は看護協会でないならば戸口彫刻であるし掃除出来る; fact20 -> int4: もしもあの臍の緒はトラックポイントでないとすると「それはビオトープでないしさらにそれは看護協会だ」ということは偽だ;
$facts$ = fact1: 「あの中世的都市は休であるが集めでない」ということは偽だ fact2: もし仮にあの配給量は掃除出来れば「この従業者数は看護協会でないけれどビオトープである」ということは間違っている fact3: もしもあの配給量は掃除出来るとすれば「あの臍の緒は戸口彫刻でなくておまけにビオトープでない」ということは誤っている fact4: もし仮にあの配給量は掃除出来るとしたら「この従業者数は看護協会でないししかもそれはビオトープでない」ということは成り立たない fact5: もしもあの臍の緒が戸口彫刻だとすればこの従業者数は看護協会でないしビオトープであるということはない fact6: もし仮に何かは看護協会でないとすれば戸口彫刻であるし掃除出来る fact7: あの配給量は看護協会だ fact8: 「あの臍の緒は掃除出来る」ということは事実であるとしたら「この従業者数は戸口彫刻であるということはないがそれは看護協会だ」ということは誤っている fact9: この従業者数は心無い fact10: もし仮にこの従業者数が掃除出来るとすればあの配給量はビオトープだ fact11: もし仮にこの従業者数は看護協会だとすれば「あの配給量は掃除出来るけれどそれはビオトープでない」ということは嘘である fact12: 「あの臍の緒は戸口彫刻である」ということは成り立つならあの配給量は掃除出来る fact13: もし仮にとあるものはトラックポイントでないとしたら「ビオトープでないが看護協会だ」ということは偽だ fact14: 「あの配給量は漏れ易くなくてそれに戸口彫刻でない」ということは偽だ fact15: もし仮に「あの配給量は掃除出来る」ということは偽でないとしたらこの従業者数は看護協会でないしそれにビオトープでない fact16: あの配給量は掃除出来るとしたら「この従業者数は看護協会であるがビオトープでない」ということは成り立つということはない fact17: あの臍の緒は看護協会である fact18: あの臍の緒は掃除出来る ; $hypothesis$ = もしもあの臍の緒は戸口彫刻であるなら「この従業者数は看護協会であるということはなくてビオトープでない」ということは本当でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの臍の緒は戸口彫刻である; fact12 & assump1 -> int1: あの配給量は掃除出来る; int1 & fact4 -> int2: 「この従業者数は看護協会でないし更にビオトープでない」ということは成り立たない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 「あの中世的都市は休であるが集めでない」ということは偽だ
事実2: もし仮にあの配給量は掃除出来れば「この従業者数は看護協会でないけれどビオトープである」ということは間違っている
事実3: もしもあの配給量は掃除出来るとすれば「あの臍の緒は戸口彫刻でなくておまけにビオトープでない」ということは誤っている
事実4: もし仮にあの配給量は掃除出来るとしたら「この従業者数は看護協会でないししかもそれはビオトープでない」ということは成り立たない
事実5: もしもあの臍の緒が戸口彫刻だとすればこの従業者数は看護協会でないしビオトープであるということはない
事実6: もし仮に何かは看護協会でないとすれば戸口彫刻であるし掃除出来る
事実7: あの配給量は看護協会だ
事実8: 「あの臍の緒は掃除出来る」ということは事実であるとしたら「この従業者数は戸口彫刻であるということはないがそれは看護協会だ」ということは誤っている
事実9: この従業者数は心無い
事実10: もし仮にこの従業者数が掃除出来るとすればあの配給量はビオトープだ
事実11: もし仮にこの従業者数は看護協会だとすれば「あの配給量は掃除出来るけれどそれはビオトープでない」ということは嘘である
事実12: 「あの臍の緒は戸口彫刻である」ということは成り立つならあの配給量は掃除出来る
事実13: もし仮にとあるものはトラックポイントでないとしたら「ビオトープでないが看護協会だ」ということは偽だ
事実14: 「あの配給量は漏れ易くなくてそれに戸口彫刻でない」ということは偽だ
事実15: もし仮に「あの配給量は掃除出来る」ということは偽でないとしたらこの従業者数は看護協会でないしそれにビオトープでない
事実16: あの配給量は掃除出来るとしたら「この従業者数は看護協会であるがビオトープでない」ということは成り立つということはない
事実17: あの臍の緒は看護協会である
事実18: あの臍の緒は掃除出来る

仮説: もしもあの臍の緒は戸口彫刻であるなら「この従業者数は看護協会であるということはなくてビオトープでない」ということは本当でない
1. 仮定1: 以下のように仮定する。あの臍の緒は戸口彫刻である
2. 事実12と仮定1から、推論1: "あの配給量は掃除出来る"が導かれる
3. 推論1と事実4から、推論2: "「この従業者数は看護協会でないし更にビオトープでない」ということは成り立たない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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