「もしも涙脆いなら感染し易い」物はある
fact1: もし仮にその土盛り工事が棍であるということはないとすればあの二着馬は感染し易いし加えて涙脆い fact2: もしこの使用可は理解し易くないなら「それはそよふく」ということは事実と異ならない fact3: もし仮になんらかのものはそよふくなら「それは恐縮するということはないがしかし丑である」ということは本当でない fact4: もしある物が感染し易いとするとその住み方はそよふくかもしくは感染し易いかあるいは両方だ fact5: もしその住み方が感染し易いとするとこのＥＥはそよふく fact6: もし仮にその住み方はそよふくとすると「絶え難いしそれに仏訳である」ということは偽だ fact7: 仮にその空気ボンベが放射出来ないとするとその土盛り工事は発揮し難いしさらに客員である fact8: 「その住み方は当事だしその上暗礁である」ということは間違いである fact9: もし仮にその住み方は絶え難いならば「涙脆い」ということは成り立たない fact10: もし仮に「なんらかの物は絶え難くないがしかし仏訳だ」ということは事実と異なるなら「そよふく」ということは事実だ fact11: もし仮に「この馬村長はそよふかないが丑である」ということは偽であるとするとあぐねる fact12: 仮にその住み方がそよふかないならば感染し易い fact13: もし仮に「その住み方は漏斗状でない一方で武装する」ということは真実でないとするとそれは受け売りする fact14: 絶え難いものは涙脆くない fact15: もし仮に「とあるものは絶え難くないがしかし仏訳である」ということは成り立つということはないとするとそれは涙脆くない fact16: もしもある物が発揮し難いかあるいは棍でないかもしくはどちらもなら棍であるということはない fact17: 仮にその住み方がそよふくならこのＥＥはそよふく fact18: その住み方はそよふくとすると「それは絶え難くない一方で仏訳だ」ということは成り立たない fact19: もし仮に「なんらかのものはそよふかないけれど涙脆い」ということは間違っていればそれは感染し易いということはない
void -> assump2: 以下のように仮定する。その住み方はそよふく; fact18 & assump2 -> int1: 「その住み方は絶え難くないけれど仏訳である」ということは間違っている; fact15 -> int2: もしも「その住み方は絶え難くない一方で仏訳だ」ということは事実と異なるとしたら涙脆くない; int1 & int2 -> int3: その住み方は涙脆くない; void -> assump1: 以下のように仮定する。「その住み方は涙脆い」ということは真実だ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その住み方はそよふかない; int5 & fact12 -> int6: その住み方は感染し易い; [assump1] & int6 -> int7: もしもその住み方が涙脆いとしたら感染し易い; int7 -> hypothesis;
「このＥＥは恐縮しない一方で丑だ」ということは成り立たない
fact22 -> int8: もし仮に「このＥＥはそよふく」ということは成り立つなら「それは恐縮しないし丑だ」ということは誤りだ; fact20 -> int9: その土盛り工事が発揮し難いかあるいは棍であるということはないかもしくは両方であるとするとそれは棍でない;
$facts$ = fact1: もし仮にその土盛り工事が棍であるということはないとすればあの二着馬は感染し易いし加えて涙脆い fact2: もしこの使用可は理解し易くないなら「それはそよふく」ということは事実と異ならない fact3: もし仮になんらかのものはそよふくなら「それは恐縮するということはないがしかし丑である」ということは本当でない fact4: もしある物が感染し易いとするとその住み方はそよふくかもしくは感染し易いかあるいは両方だ fact5: もしその住み方が感染し易いとするとこのＥＥはそよふく fact6: もし仮にその住み方はそよふくとすると「絶え難いしそれに仏訳である」ということは偽だ fact7: 仮にその空気ボンベが放射出来ないとするとその土盛り工事は発揮し難いしさらに客員である fact8: 「その住み方は当事だしその上暗礁である」ということは間違いである fact9: もし仮にその住み方は絶え難いならば「涙脆い」ということは成り立たない fact10: もし仮に「なんらかの物は絶え難くないがしかし仏訳だ」ということは事実と異なるなら「そよふく」ということは事実だ fact11: もし仮に「この馬村長はそよふかないが丑である」ということは偽であるとするとあぐねる fact12: 仮にその住み方がそよふかないならば感染し易い fact13: もし仮に「その住み方は漏斗状でない一方で武装する」ということは真実でないとするとそれは受け売りする fact14: 絶え難いものは涙脆くない fact15: もし仮に「とあるものは絶え難くないがしかし仏訳である」ということは成り立つということはないとするとそれは涙脆くない fact16: もしもある物が発揮し難いかあるいは棍でないかもしくはどちらもなら棍であるということはない fact17: 仮にその住み方がそよふくならこのＥＥはそよふく fact18: その住み方はそよふくとすると「それは絶え難くない一方で仏訳だ」ということは成り立たない fact19: もし仮に「なんらかのものはそよふかないけれど涙脆い」ということは間違っていればそれは感染し易いということはない ; $hypothesis$ = 「もしも涙脆いなら感染し易い」物はある ; $proof$ = 
void -> assump2: 以下のように仮定する。その住み方はそよふく; fact18 & assump2 -> int1: 「その住み方は絶え難くないけれど仏訳である」ということは間違っている; fact15 -> int2: もしも「その住み方は絶え難くない一方で仏訳だ」ということは事実と異なるとしたら涙脆くない; int1 & int2 -> int3: その住み方は涙脆くない; void -> assump1: 以下のように仮定する。「その住み方は涙脆い」ということは真実だ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その住み方はそよふかない; int5 & fact12 -> int6: その住み方は感染し易い; [assump1] & int6 -> int7: もしもその住み方が涙脆いとしたら感染し易い; int7 -> hypothesis; __PROVED__
事実1: もし仮にその土盛り工事が棍であるということはないとすればあの二着馬は感染し易いし加えて涙脆い
事実2: もしこの使用可は理解し易くないなら「それはそよふく」ということは事実と異ならない
事実3: もし仮になんらかのものはそよふくなら「それは恐縮するということはないがしかし丑である」ということは本当でない
事実4: もしある物が感染し易いとするとその住み方はそよふくかもしくは感染し易いかあるいは両方だ
事実5: もしその住み方が感染し易いとするとこのＥＥはそよふく
事実6: もし仮にその住み方はそよふくとすると「絶え難いしそれに仏訳である」ということは偽だ
事実7: 仮にその空気ボンベが放射出来ないとするとその土盛り工事は発揮し難いしさらに客員である
事実8: 「その住み方は当事だしその上暗礁である」ということは間違いである
事実9: もし仮にその住み方は絶え難いならば「涙脆い」ということは成り立たない
事実10: もし仮に「なんらかの物は絶え難くないがしかし仏訳だ」ということは事実と異なるなら「そよふく」ということは事実だ
事実11: もし仮に「この馬村長はそよふかないが丑である」ということは偽であるとするとあぐねる
事実12: 仮にその住み方がそよふかないならば感染し易い
事実13: もし仮に「その住み方は漏斗状でない一方で武装する」ということは真実でないとするとそれは受け売りする
事実14: 絶え難いものは涙脆くない
事実15: もし仮に「とあるものは絶え難くないがしかし仏訳である」ということは成り立つということはないとするとそれは涙脆くない
事実16: もしもある物が発揮し難いかあるいは棍でないかもしくはどちらもなら棍であるということはない
事実17: 仮にその住み方がそよふくならこのＥＥはそよふく
事実18: その住み方はそよふくとすると「それは絶え難くない一方で仏訳だ」ということは成り立たない
事実19: もし仮に「なんらかのものはそよふかないけれど涙脆い」ということは間違っていればそれは感染し易いということはない

仮説: 「もしも涙脆いなら感染し易い」物はある
1. 仮定2: 以下のように仮定する。その住み方はそよふく
2. 事実18と仮定2から、推論1: "「その住み方は絶え難くないけれど仏訳である」ということは間違っている"が導かれる
3. 事実15から、推論2: "もしも「その住み方は絶え難くない一方で仏訳だ」ということは事実と異なるとしたら涙脆くない"が導かれる
4. 推論1と推論2から、推論3: "その住み方は涙脆くない"が導かれる
5. 仮定1: 以下のように仮定する。「その住み方は涙脆い」ということは真実だ
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "その住み方はそよふかない"が導かれる
8. 推論5と事実12から、推論6: "その住み方は感染し易い"が導かれる
9. [仮定1]と推論6から、推論7: "もしもその住み方が涙脆いとしたら感染し易い"が導かれる
10. 推論7から、仮説が導かれる

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