あの創作者は集まり易い
fact1: 仮に「その九千人はＯＢＩでないけど自動車製造だ」ということは嘘であるとすれば総理大臣でない fact2: もしある物は転げ出すかまたは集まり易くないかどちらもであるとしたらそれは集まり易くない fact3: その非依存性がデイトレードするならあの創作者はデイトレードする fact4: もし仮に「とある物はスタンドプレーである一方で廃止すらない」ということは嘘であるとすると廃止す fact5: 仮にその上映時間はデイトレードするとしたら「あの創作者は集まり易い」ということは確かだ fact6: その食料事情が詠み込むとするとその非依存性はぎざぎざする fact7: 仮に「廃止す」物はあるとしたら「その具体案は通り難いけど廃止すらない」ということは成り立たない fact8: その九千人はダイヤグラムだ一方で暗号化しない fact9: もし「総理大臣でない」物はあるとすると「あの戦略的価値はスタンドプレーであるがしかし廃止すらない」ということは誤っている fact10: その上映時間は転げ出さない fact11: 仮になにがしかのものがぎざぎざすればデイトレードする fact12: もしも何らかの物が空転しなくて加えて鼻腔内でないならそれはデイトレードする fact13: もしもその九千人は暗号化しないなら「それはＯＢＩでなくておまけに自動車製造である」ということは誤っている fact14: あの創作者がデイトレードするならその上映時間は転げ出すか集まり易くない fact15: もし仮にその上映時間が転げ出さないならばそれは空転しないし鼻腔内でない fact16: 仮にその食料事情が拙いとすればその非依存性はぎざぎざする fact17: その具体案が通り難くないとするとその食料事情は詠み込むか拙いか両方だ fact18: 「なにかは通り難い一方でそれは廃止すらない」ということは嘘だとしたらそれは通り難くない
fact12 -> int1: その上映時間は空転しないし鼻腔内でないならばそれはデイトレードする; fact10 & fact15 -> int2: その上映時間は空転しないしまた鼻腔内でない; int1 & int2 -> int3: その上映時間はデイトレードする; int3 & fact5 -> hypothesis;
その上映時間は集まり易くない
fact31 -> int4: もしその上映時間が転げ出すかもしくは集まり易くないかもしくは両方ともであるならば集まり易くない; fact25 -> int5: もしもその非依存性がぎざぎざするとすればデイトレードする; fact28 -> int6: 「その具体案は通り難いけどそれは廃止すらない」ということは間違いであるとすると通り難いということはない; fact19 -> int7: もし「あの戦略的価値はスタンドプレーだが廃止すらない」ということは成り立たないなら「廃止す」ということは確かである; fact26 -> int8: その九千人は暗号化しない; fact29 & int8 -> int9: 「その九千人はＯＢＩでないけれど自動車製造である」ということは成り立たない; fact24 & int9 -> int10: その九千人は総理大臣でない; int10 -> int11: 「「総理大臣でない」ということは事実な」ものはある; int11 & fact30 -> int12: 「あの戦略的価値はスタンドプレーだがしかし廃止すらない」ということは間違いである; int7 & int12 -> int13: あの戦略的価値は廃止す; int13 -> int14: なんらかの物は廃止す; int14 & fact32 -> int15: 「その具体案は通り難いがそれは廃止すらない」ということは間違いである; int6 & int15 -> int16: 「その具体案は通り難くない」ということは成り立つ; fact27 & int16 -> int17: その食料事情は詠み込むかまたは拙いかあるいは両方だ; int17 & fact23 & fact20 -> int18: その非依存性はぎざぎざする; int5 & int18 -> int19: 「その非依存性はデイトレードする」ということは本当だ; fact22 & int19 -> int20: 「あの創作者はデイトレードする」ということは事実だ; fact21 & int20 -> int21: その上映時間は転げ出すかそれは集まり易いということはないかあるいは両方だ; int4 & int21 -> hypothesis;
$facts$ = fact1: 仮に「その九千人はＯＢＩでないけど自動車製造だ」ということは嘘であるとすれば総理大臣でない fact2: もしある物は転げ出すかまたは集まり易くないかどちらもであるとしたらそれは集まり易くない fact3: その非依存性がデイトレードするならあの創作者はデイトレードする fact4: もし仮に「とある物はスタンドプレーである一方で廃止すらない」ということは嘘であるとすると廃止す fact5: 仮にその上映時間はデイトレードするとしたら「あの創作者は集まり易い」ということは確かだ fact6: その食料事情が詠み込むとするとその非依存性はぎざぎざする fact7: 仮に「廃止す」物はあるとしたら「その具体案は通り難いけど廃止すらない」ということは成り立たない fact8: その九千人はダイヤグラムだ一方で暗号化しない fact9: もし「総理大臣でない」物はあるとすると「あの戦略的価値はスタンドプレーであるがしかし廃止すらない」ということは誤っている fact10: その上映時間は転げ出さない fact11: 仮になにがしかのものがぎざぎざすればデイトレードする fact12: もしも何らかの物が空転しなくて加えて鼻腔内でないならそれはデイトレードする fact13: もしもその九千人は暗号化しないなら「それはＯＢＩでなくておまけに自動車製造である」ということは誤っている fact14: あの創作者がデイトレードするならその上映時間は転げ出すか集まり易くない fact15: もし仮にその上映時間が転げ出さないならばそれは空転しないし鼻腔内でない fact16: 仮にその食料事情が拙いとすればその非依存性はぎざぎざする fact17: その具体案が通り難くないとするとその食料事情は詠み込むか拙いか両方だ fact18: 「なにかは通り難い一方でそれは廃止すらない」ということは嘘だとしたらそれは通り難くない ; $hypothesis$ = あの創作者は集まり易い ; $proof$ = 
fact12 -> int1: その上映時間は空転しないし鼻腔内でないならばそれはデイトレードする; fact10 & fact15 -> int2: その上映時間は空転しないしまた鼻腔内でない; int1 & int2 -> int3: その上映時間はデイトレードする; int3 & fact5 -> hypothesis; __PROVED__
事実1: 仮に「その九千人はＯＢＩでないけど自動車製造だ」ということは嘘であるとすれば総理大臣でない
事実2: もしある物は転げ出すかまたは集まり易くないかどちらもであるとしたらそれは集まり易くない
事実3: その非依存性がデイトレードするならあの創作者はデイトレードする
事実4: もし仮に「とある物はスタンドプレーである一方で廃止すらない」ということは嘘であるとすると廃止す
事実5: 仮にその上映時間はデイトレードするとしたら「あの創作者は集まり易い」ということは確かだ
事実6: その食料事情が詠み込むとするとその非依存性はぎざぎざする
事実7: 仮に「廃止す」物はあるとしたら「その具体案は通り難いけど廃止すらない」ということは成り立たない
事実8: その九千人はダイヤグラムだ一方で暗号化しない
事実9: もし「総理大臣でない」物はあるとすると「あの戦略的価値はスタンドプレーであるがしかし廃止すらない」ということは誤っている
事実10: その上映時間は転げ出さない
事実11: 仮になにがしかのものがぎざぎざすればデイトレードする
事実12: もしも何らかの物が空転しなくて加えて鼻腔内でないならそれはデイトレードする
事実13: もしもその九千人は暗号化しないなら「それはＯＢＩでなくておまけに自動車製造である」ということは誤っている
事実14: あの創作者がデイトレードするならその上映時間は転げ出すか集まり易くない
事実15: もし仮にその上映時間が転げ出さないならばそれは空転しないし鼻腔内でない
事実16: 仮にその食料事情が拙いとすればその非依存性はぎざぎざする
事実17: その具体案が通り難くないとするとその食料事情は詠み込むか拙いか両方だ
事実18: 「なにかは通り難い一方でそれは廃止すらない」ということは嘘だとしたらそれは通り難くない

仮説: あの創作者は集まり易い
1. 事実12から、推論1: "その上映時間は空転しないし鼻腔内でないならばそれはデイトレードする"が導かれる
2. 事実10と事実15から、推論2: "その上映時間は空転しないしまた鼻腔内でない"が導かれる
3. 推論1と推論2から、推論3: "その上映時間はデイトレードする"が導かれる
4. 推論3と事実5から、仮説が導かれる

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