その到着時間は広がり難くない
fact1: もしもこの扶養が乗り合わせないならその到着時間は塗り残すということはない fact2: もし仮にある物は塗り残すけど広がり難いということはないとしたら「それは乗り合わせない」ということは確かだ fact3: 「この扶養は乗り合わせない」ということは成り立つ fact4: もしその到着時間が広がり難いとしたらそれは塗り残す fact5: もし仮になにかは金属キット製作でないとするとそれは塗り残すしそれにそれは広がり難くない fact6: 仮に「この扶養は二百二十五銘柄でない」ということは正しいとするとその到着時間が祟りだしそれは音楽活動である fact7: もし仮に「何かは日照量であるがしかし祟りでない」ということは成り立たないとすれば金属キット製作でない fact8: 仮になんらかの物は祟りなら「そのＡＩＤＭＡは日照量であるけど祟りであるということはない」ということは誤りだ
void -> assump1: 以下のように仮定する。その到着時間は広がり難い; fact4 & assump1 -> int1: その到着時間は塗り残す; fact3 & fact1 -> int2: その到着時間は塗り残さない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
そのＡＩＤＭＡは乗り合わせない
fact12 -> int4: そのＡＩＤＭＡが塗り残す一方でそれが広がり難くないとしたら乗り合わせない; fact13 -> int5: もし仮にそのＡＩＤＭＡが金属キット製作でないとすればそれは塗り残すしそれにそれは広がり難くない; fact11 -> int6: もしも「「そのＡＩＤＭＡは日照量であるけど祟りでない」ということは事実でない」ということは真実であるとすればそれは金属キット製作でない;
$facts$ = fact1: もしもこの扶養が乗り合わせないならその到着時間は塗り残すということはない fact2: もし仮にある物は塗り残すけど広がり難いということはないとしたら「それは乗り合わせない」ということは確かだ fact3: 「この扶養は乗り合わせない」ということは成り立つ fact4: もしその到着時間が広がり難いとしたらそれは塗り残す fact5: もし仮になにかは金属キット製作でないとするとそれは塗り残すしそれにそれは広がり難くない fact6: 仮に「この扶養は二百二十五銘柄でない」ということは正しいとするとその到着時間が祟りだしそれは音楽活動である fact7: もし仮に「何かは日照量であるがしかし祟りでない」ということは成り立たないとすれば金属キット製作でない fact8: 仮になんらかの物は祟りなら「そのＡＩＤＭＡは日照量であるけど祟りであるということはない」ということは誤りだ ; $hypothesis$ = その到着時間は広がり難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その到着時間は広がり難い; fact4 & assump1 -> int1: その到着時間は塗り残す; fact3 & fact1 -> int2: その到着時間は塗り残さない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもこの扶養が乗り合わせないならその到着時間は塗り残すということはない
事実2: もし仮にある物は塗り残すけど広がり難いということはないとしたら「それは乗り合わせない」ということは確かだ
事実3: 「この扶養は乗り合わせない」ということは成り立つ
事実4: もしその到着時間が広がり難いとしたらそれは塗り残す
事実5: もし仮になにかは金属キット製作でないとするとそれは塗り残すしそれにそれは広がり難くない
事実6: 仮に「この扶養は二百二十五銘柄でない」ということは正しいとするとその到着時間が祟りだしそれは音楽活動である
事実7: もし仮に「何かは日照量であるがしかし祟りでない」ということは成り立たないとすれば金属キット製作でない
事実8: 仮になんらかの物は祟りなら「そのＡＩＤＭＡは日照量であるけど祟りであるということはない」ということは誤りだ

仮説: その到着時間は広がり難くない
1. 仮定1: 以下のように仮定する。その到着時間は広がり難い
2. 事実4と仮定1から、推論1: "その到着時間は塗り残す"が導かれる
3. 事実3と事実1から、推論2: "その到着時間は塗り残さない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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