この拡張期は臭い
fact1: もしその米代が巻き始めるならばあの栽培期間は運搬工程だ fact2: その米代は広がり難くないがそれは天狗星である fact3: もし仮にあの栽培期間が翻弄しないとすれば巻き起こらなくてその上御存じ無くない fact4: もし仮にあの栽培期間は巻き起こらないが御存じ無いとしたらそれは奪う fact5: もし仮にその米代が広がり難くないならそれは巻き始めるか民間主導である fact6: とある物が巻き起こらないしさらにそれが御存じ無くないとすればそれは奪う fact7: もしもあるものは巻き起こる一方で御存じ無くないとするとそれは奪う fact8: もしなんらかの物は巻き起こるということはないけれど御存じ無いとしたら奪う fact9: もし仮に「金融機能な」物があるならこの拡張期は臭い fact10: もしあの栽培期間は巻き起こる一方で御存じ無くないとしたらそれは奪う fact11: もしなにかは奪うか金融機能だとしたら「この拡張期は臭い」ということは真実だ fact12: その垂直方向は翻弄しない fact13: もし「何らかの物は金融機能でないがしかし奪う」ということは成り立たないとすると奪わない fact14: もしもなにかは運搬工程ならば「それは金融機能でなくてそれは奪う」ということは間違いである fact15: あの栽培期間は翻弄しない fact16: もしもとある物は奪わないならば「翻弄するししかもそれは臭い」ということは誤りだ
fact3 & fact15 -> int1: あの栽培期間が巻き起こらないしさらに御存じ無くない; fact6 -> int2: 仮にあの栽培期間が巻き起こらないししかも御存じ無くないとすれば奪う; int1 & int2 -> int3: あの栽培期間は奪う; int3 -> int4: あの栽培期間は奪うかまたは金融機能だ; int4 -> int5: なにかは奪うかそれは金融機能であるかまたはどちらもだ; int5 & fact11 -> hypothesis;
この拡張期は臭くない
fact21 -> int6: もしもあの栽培期間は奪わないとすれば「それは翻弄するしその上臭い」ということは成り立たない; fact19 -> int7: 仮に「あの栽培期間は金融機能でないがしかし奪う」ということは間違っているとすればそれは奪わない; fact18 -> int8: もし仮にあの栽培期間は運搬工程だとしたら「金融機能でない一方で奪う」ということは成り立たない; fact22 -> int9: その米代は広がり難いということはない; fact20 & int9 -> int10: その米代は巻き始めるか民間主導であるかまたはどちらもだ;
$facts$ = fact1: もしその米代が巻き始めるならばあの栽培期間は運搬工程だ fact2: その米代は広がり難くないがそれは天狗星である fact3: もし仮にあの栽培期間が翻弄しないとすれば巻き起こらなくてその上御存じ無くない fact4: もし仮にあの栽培期間は巻き起こらないが御存じ無いとしたらそれは奪う fact5: もし仮にその米代が広がり難くないならそれは巻き始めるか民間主導である fact6: とある物が巻き起こらないしさらにそれが御存じ無くないとすればそれは奪う fact7: もしもあるものは巻き起こる一方で御存じ無くないとするとそれは奪う fact8: もしなんらかの物は巻き起こるということはないけれど御存じ無いとしたら奪う fact9: もし仮に「金融機能な」物があるならこの拡張期は臭い fact10: もしあの栽培期間は巻き起こる一方で御存じ無くないとしたらそれは奪う fact11: もしなにかは奪うか金融機能だとしたら「この拡張期は臭い」ということは真実だ fact12: その垂直方向は翻弄しない fact13: もし「何らかの物は金融機能でないがしかし奪う」ということは成り立たないとすると奪わない fact14: もしもなにかは運搬工程ならば「それは金融機能でなくてそれは奪う」ということは間違いである fact15: あの栽培期間は翻弄しない fact16: もしもとある物は奪わないならば「翻弄するししかもそれは臭い」ということは誤りだ ; $hypothesis$ = この拡張期は臭い ; $proof$ = 
fact3 & fact15 -> int1: あの栽培期間が巻き起こらないしさらに御存じ無くない; fact6 -> int2: 仮にあの栽培期間が巻き起こらないししかも御存じ無くないとすれば奪う; int1 & int2 -> int3: あの栽培期間は奪う; int3 -> int4: あの栽培期間は奪うかまたは金融機能だ; int4 -> int5: なにかは奪うかそれは金融機能であるかまたはどちらもだ; int5 & fact11 -> hypothesis; __PROVED__
事実1: もしその米代が巻き始めるならばあの栽培期間は運搬工程だ
事実2: その米代は広がり難くないがそれは天狗星である
事実3: もし仮にあの栽培期間が翻弄しないとすれば巻き起こらなくてその上御存じ無くない
事実4: もし仮にあの栽培期間は巻き起こらないが御存じ無いとしたらそれは奪う
事実5: もし仮にその米代が広がり難くないならそれは巻き始めるか民間主導である
事実6: とある物が巻き起こらないしさらにそれが御存じ無くないとすればそれは奪う
事実7: もしもあるものは巻き起こる一方で御存じ無くないとするとそれは奪う
事実8: もしなんらかの物は巻き起こるということはないけれど御存じ無いとしたら奪う
事実9: もし仮に「金融機能な」物があるならこの拡張期は臭い
事実10: もしあの栽培期間は巻き起こる一方で御存じ無くないとしたらそれは奪う
事実11: もしなにかは奪うか金融機能だとしたら「この拡張期は臭い」ということは真実だ
事実12: その垂直方向は翻弄しない
事実13: もし「何らかの物は金融機能でないがしかし奪う」ということは成り立たないとすると奪わない
事実14: もしもなにかは運搬工程ならば「それは金融機能でなくてそれは奪う」ということは間違いである
事実15: あの栽培期間は翻弄しない
事実16: もしもとある物は奪わないならば「翻弄するししかもそれは臭い」ということは誤りだ

仮説: この拡張期は臭い
1. 事実3と事実15から、推論1: "あの栽培期間が巻き起こらないしさらに御存じ無くない"が導かれる
2. 事実6から、推論2: "仮にあの栽培期間が巻き起こらないししかも御存じ無くないとすれば奪う"が導かれる
3. 推論1と推論2から、推論3: "あの栽培期間は奪う"が導かれる
4. 推論3から、推論4: "あの栽培期間は奪うかまたは金融機能だ"が導かれる
5. 推論4から、推論5: "なにかは奪うかそれは金融機能であるかまたはどちらもだ"が導かれる
6. 推論5と事実11から、仮説が導かれる

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