あの動物実験はさもしくて加えて知り難し
fact1: あの平和裏は落花岩であるしまたけたたましい fact2: あの平和裏はさもしい fact3: あの動物実験は抱けない fact4: あの配偶体は姉ヶ崎神社でそれはさもしい fact5: あの平和裏はテルペン類である fact6: 「あの平和裏は底深くないがしかし落花岩だ」ということは成り立つということはない fact7: あの平和裏は持ち去らない fact8: もしあの動物実験がさもしくないとしたら落花岩だし更にけたたましい fact9: この供給曲線は記述出来るしさらに落花岩である fact10: あの良い加減さは落花岩でない fact11: もし「あの平和裏は底深くないがしかし落花岩である」ということは事実と異なるとすればあの動物実験は落花岩でない fact12: もしあの動物実験が忘れ難くないとしたらそれはけたたましいしそれに寝苦しい fact13: 「「あの動物実験は底深くないがしかしけたたましい」ということは誤っている」ということは事実だ fact14: あの動物実験はカスタマイズする fact15: もしも「あの平和裏はけたたましくない」ということは本当であるとしたらそれは底深いしそれに落花岩だ fact16: 仮に「あの動物実験は落花岩でないけどそれは底深い」ということは誤っていればその御局様は底深くない fact17: あの動物実験は知り難し fact18: あの発情期は知り難ししさらに疾し fact19: 仮にあの平和裏が落花岩でないとすればそれはけたたましいしさもしい fact20: 「あの動物実験は底深い」ということは確かである fact21: その避難階段は知り難しということはない
void -> assump1: 以下のように仮定する。あの動物実験はさもしくない; fact8 & assump1 -> int1: あの動物実験は落花岩でそれにけたたましい; int1 -> int2: あの動物実験は落花岩だ; fact11 & fact6 -> int3: 「あの動物実験は落花岩でない」ということは事実だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの動物実験はさもしい; int5 & fact17 -> hypothesis;
$facts$ = fact1: あの平和裏は落花岩であるしまたけたたましい fact2: あの平和裏はさもしい fact3: あの動物実験は抱けない fact4: あの配偶体は姉ヶ崎神社でそれはさもしい fact5: あの平和裏はテルペン類である fact6: 「あの平和裏は底深くないがしかし落花岩だ」ということは成り立つということはない fact7: あの平和裏は持ち去らない fact8: もしあの動物実験がさもしくないとしたら落花岩だし更にけたたましい fact9: この供給曲線は記述出来るしさらに落花岩である fact10: あの良い加減さは落花岩でない fact11: もし「あの平和裏は底深くないがしかし落花岩である」ということは事実と異なるとすればあの動物実験は落花岩でない fact12: もしあの動物実験が忘れ難くないとしたらそれはけたたましいしそれに寝苦しい fact13: 「「あの動物実験は底深くないがしかしけたたましい」ということは誤っている」ということは事実だ fact14: あの動物実験はカスタマイズする fact15: もしも「あの平和裏はけたたましくない」ということは本当であるとしたらそれは底深いしそれに落花岩だ fact16: 仮に「あの動物実験は落花岩でないけどそれは底深い」ということは誤っていればその御局様は底深くない fact17: あの動物実験は知り難し fact18: あの発情期は知り難ししさらに疾し fact19: 仮にあの平和裏が落花岩でないとすればそれはけたたましいしさもしい fact20: 「あの動物実験は底深い」ということは確かである fact21: その避難階段は知り難しということはない ; $hypothesis$ = あの動物実験はさもしくて加えて知り難し ; $proof$ = 
void -> assump1: 以下のように仮定する。あの動物実験はさもしくない; fact8 & assump1 -> int1: あの動物実験は落花岩でそれにけたたましい; int1 -> int2: あの動物実験は落花岩だ; fact11 & fact6 -> int3: 「あの動物実験は落花岩でない」ということは事実だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの動物実験はさもしい; int5 & fact17 -> hypothesis; __PROVED__
事実1: あの平和裏は落花岩であるしまたけたたましい
事実2: あの平和裏はさもしい
事実3: あの動物実験は抱けない
事実4: あの配偶体は姉ヶ崎神社でそれはさもしい
事実5: あの平和裏はテルペン類である
事実6: 「あの平和裏は底深くないがしかし落花岩だ」ということは成り立つということはない
事実7: あの平和裏は持ち去らない
事実8: もしあの動物実験がさもしくないとしたら落花岩だし更にけたたましい
事実9: この供給曲線は記述出来るしさらに落花岩である
事実10: あの良い加減さは落花岩でない
事実11: もし「あの平和裏は底深くないがしかし落花岩である」ということは事実と異なるとすればあの動物実験は落花岩でない
事実12: もしあの動物実験が忘れ難くないとしたらそれはけたたましいしそれに寝苦しい
事実13: 「「あの動物実験は底深くないがしかしけたたましい」ということは誤っている」ということは事実だ
事実14: あの動物実験はカスタマイズする
事実15: もしも「あの平和裏はけたたましくない」ということは本当であるとしたらそれは底深いしそれに落花岩だ
事実16: 仮に「あの動物実験は落花岩でないけどそれは底深い」ということは誤っていればその御局様は底深くない
事実17: あの動物実験は知り難し
事実18: あの発情期は知り難ししさらに疾し
事実19: 仮にあの平和裏が落花岩でないとすればそれはけたたましいしさもしい
事実20: 「あの動物実験は底深い」ということは確かである
事実21: その避難階段は知り難しということはない

仮説: あの動物実験はさもしくて加えて知り難し
1. 仮定1: 以下のように仮定する。あの動物実験はさもしくない
2. 事実8と仮定1から、推論1: "あの動物実験は落花岩でそれにけたたましい"が導かれる
3. 推論1から、推論2: "あの動物実験は落花岩だ"が導かれる
4. 事実11と事実6から、推論3: "「あの動物実験は落花岩でない」ということは事実だ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの動物実験はさもしい"が導かれる
7. 推論5と事実17から、仮説が導かれる

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