「もし仮に投与前だとすれば雪深くない」物はある
fact1: あの研削は雪深い fact2: 馬鹿馬鹿しい投与前は雪深いということはない fact3: そのキチンは雪深い fact4: そのフス派革命は操る fact5: 「この共有結合性は痩せ難いがそれは信心深くない」ということは成り立たない fact6: そのフス派革命は馬鹿馬鹿しい fact7: 「もし仮に分かり辛いなら読み難い」ものはある fact8: この共有結合性が預け合わないとすればそれは塗抹するしまた投与前である fact9: そのフス派革命は貿易自由化である fact10: もしも「とあるものは痩せ難い一方でそれは信心深くない」ということは偽だとしたらそれは預け合うということはない
void -> assump1: 以下のように仮定する。そのフス派革命は投与前である; assump1 & fact6 -> int1: そのフス派革命は投与前であるしさらにそれは馬鹿馬鹿しい; fact2 -> int2: もしそのフス派革命は投与前であるししかも馬鹿馬鹿しいとすれば雪深いということはない; int1 & int2 -> int3: そのフス派革命は雪深くない; [assump1] & int3 -> int4: 仮に「そのフス派革命は投与前だ」ということは成り立つとしたら「それは雪深くない」ということは成り立つ; int4 -> hypothesis;
この共有結合性は塗抹するし加えて出来難い
fact12 -> int5: もし「この共有結合性は痩せ難いけど信心深くない」ということは間違っていれば預け合うということはない; int5 & fact11 -> int6: この共有結合性は預け合わない; fact13 & int6 -> int7: この共有結合性は塗抹するし投与前だ; int7 -> int8: 「この共有結合性は塗抹する」ということは確かである;
$facts$ = fact1: あの研削は雪深い fact2: 馬鹿馬鹿しい投与前は雪深いということはない fact3: そのキチンは雪深い fact4: そのフス派革命は操る fact5: 「この共有結合性は痩せ難いがそれは信心深くない」ということは成り立たない fact6: そのフス派革命は馬鹿馬鹿しい fact7: 「もし仮に分かり辛いなら読み難い」ものはある fact8: この共有結合性が預け合わないとすればそれは塗抹するしまた投与前である fact9: そのフス派革命は貿易自由化である fact10: もしも「とあるものは痩せ難い一方でそれは信心深くない」ということは偽だとしたらそれは預け合うということはない ; $hypothesis$ = 「もし仮に投与前だとすれば雪深くない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。そのフス派革命は投与前である; assump1 & fact6 -> int1: そのフス派革命は投与前であるしさらにそれは馬鹿馬鹿しい; fact2 -> int2: もしそのフス派革命は投与前であるししかも馬鹿馬鹿しいとすれば雪深いということはない; int1 & int2 -> int3: そのフス派革命は雪深くない; [assump1] & int3 -> int4: 仮に「そのフス派革命は投与前だ」ということは成り立つとしたら「それは雪深くない」ということは成り立つ; int4 -> hypothesis; __PROVED__
事実1: あの研削は雪深い
事実2: 馬鹿馬鹿しい投与前は雪深いということはない
事実3: そのキチンは雪深い
事実4: そのフス派革命は操る
事実5: 「この共有結合性は痩せ難いがそれは信心深くない」ということは成り立たない
事実6: そのフス派革命は馬鹿馬鹿しい
事実7: 「もし仮に分かり辛いなら読み難い」ものはある
事実8: この共有結合性が預け合わないとすればそれは塗抹するしまた投与前である
事実9: そのフス派革命は貿易自由化である
事実10: もしも「とあるものは痩せ難い一方でそれは信心深くない」ということは偽だとしたらそれは預け合うということはない

仮説: 「もし仮に投与前だとすれば雪深くない」物はある
1. 仮定1: 以下のように仮定する。そのフス派革命は投与前である
2. 仮定1と事実6から、推論1: "そのフス派革命は投与前であるしさらにそれは馬鹿馬鹿しい"が導かれる
3. 事実2から、推論2: "もしそのフス派革命は投与前であるししかも馬鹿馬鹿しいとすれば雪深いということはない"が導かれる
4. 推論1と推論2から、推論3: "そのフス派革命は雪深くない"が導かれる
5. [仮定1]と推論3から、推論4: "仮に「そのフス派革命は投与前だ」ということは成り立つとしたら「それは雪深くない」ということは成り立つ"が導かれる
6. 推論4から、仮説が導かれる

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