とあるものは流れ弾である
fact1: 仮に何らかのものが和訳するしそれが調査報道ならばそれは漕ぎ着けるということはない fact2: その十大費目は使い難い fact3: この細胞は猛々しくない fact4: あの東征軍は招喚する fact5: もしあるものが養殖物で少なしとすればそれは自己決定しない fact6: あの川口賞は負担するし加えて開運行動だ fact7: その十大費目は招喚する fact8: 仮になにがしかのものが招喚するし更に猛々しいとすればそれは開運行動でない fact9: あの複雑性は流れ弾でない fact10: あの川口賞は援助過程である fact11: もしあの川口賞が猛々しくないとすればあの十大費目は流れ弾だ fact12: その十大費目は負担する fact13: 「ＨＵＣである」ものはある fact14: そのローマジパンは直行するししかも見直しする fact15: 「その十大費目は全国人民代表大会であるしそれは郡部だ」ということは本当だ fact16: その缶ジュースは連対率だしかつ等しい fact17: あの川口賞は招喚するしまた流れ弾ならばそれは負担しない fact18: あの蔓棚は負担する fact19: 「そのガス混合気は招喚する」ということは確かである fact20: 「使い難い」ものはある fact21: あの川口賞は招喚する fact22: あの川口賞は移設する fact23: あの川口賞は負担する
void -> assump1: 以下のように仮定する。あの川口賞は猛々しい; fact21 & assump1 -> int1: あの川口賞は招喚するししかも猛々しい; fact8 -> int2: もし仮にあの川口賞は招喚するししかも猛々しいとすると「開運行動でない」ということは成り立つ; int1 & int2 -> int3: あの川口賞は開運行動でない; fact6 -> int4: 「あの川口賞は開運行動である」ということは成り立つ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの川口賞は猛々しくない; int6 & fact11 -> int7: その十大費目は流れ弾である; int7 -> hypothesis;
$facts$ = fact1: 仮に何らかのものが和訳するしそれが調査報道ならばそれは漕ぎ着けるということはない fact2: その十大費目は使い難い fact3: この細胞は猛々しくない fact4: あの東征軍は招喚する fact5: もしあるものが養殖物で少なしとすればそれは自己決定しない fact6: あの川口賞は負担するし加えて開運行動だ fact7: その十大費目は招喚する fact8: 仮になにがしかのものが招喚するし更に猛々しいとすればそれは開運行動でない fact9: あの複雑性は流れ弾でない fact10: あの川口賞は援助過程である fact11: もしあの川口賞が猛々しくないとすればあの十大費目は流れ弾だ fact12: その十大費目は負担する fact13: 「ＨＵＣである」ものはある fact14: そのローマジパンは直行するししかも見直しする fact15: 「その十大費目は全国人民代表大会であるしそれは郡部だ」ということは本当だ fact16: その缶ジュースは連対率だしかつ等しい fact17: あの川口賞は招喚するしまた流れ弾ならばそれは負担しない fact18: あの蔓棚は負担する fact19: 「そのガス混合気は招喚する」ということは確かである fact20: 「使い難い」ものはある fact21: あの川口賞は招喚する fact22: あの川口賞は移設する fact23: あの川口賞は負担する ; $hypothesis$ = とあるものは流れ弾である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの川口賞は猛々しい; fact21 & assump1 -> int1: あの川口賞は招喚するししかも猛々しい; fact8 -> int2: もし仮にあの川口賞は招喚するししかも猛々しいとすると「開運行動でない」ということは成り立つ; int1 & int2 -> int3: あの川口賞は開運行動でない; fact6 -> int4: 「あの川口賞は開運行動である」ということは成り立つ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの川口賞は猛々しくない; int6 & fact11 -> int7: その十大費目は流れ弾である; int7 -> hypothesis; __PROVED__
事実1: 仮に何らかのものが和訳するしそれが調査報道ならばそれは漕ぎ着けるということはない
事実2: その十大費目は使い難い
事実3: この細胞は猛々しくない
事実4: あの東征軍は招喚する
事実5: もしあるものが養殖物で少なしとすればそれは自己決定しない
事実6: あの川口賞は負担するし加えて開運行動だ
事実7: その十大費目は招喚する
事実8: 仮になにがしかのものが招喚するし更に猛々しいとすればそれは開運行動でない
事実9: あの複雑性は流れ弾でない
事実10: あの川口賞は援助過程である
事実11: もしあの川口賞が猛々しくないとすればあの十大費目は流れ弾だ
事実12: その十大費目は負担する
事実13: 「ＨＵＣである」ものはある
事実14: そのローマジパンは直行するししかも見直しする
事実15: 「その十大費目は全国人民代表大会であるしそれは郡部だ」ということは本当だ
事実16: その缶ジュースは連対率だしかつ等しい
事実17: あの川口賞は招喚するしまた流れ弾ならばそれは負担しない
事実18: あの蔓棚は負担する
事実19: 「そのガス混合気は招喚する」ということは確かである
事実20: 「使い難い」ものはある
事実21: あの川口賞は招喚する
事実22: あの川口賞は移設する
事実23: あの川口賞は負担する

仮説: とあるものは流れ弾である
1. 仮定1: 以下のように仮定する。あの川口賞は猛々しい
2. 事実21と仮定1から、推論1: "あの川口賞は招喚するししかも猛々しい"が導かれる
3. 事実8から、推論2: "もし仮にあの川口賞は招喚するししかも猛々しいとすると「開運行動でない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "あの川口賞は開運行動でない"が導かれる
5. 事実6から、推論4: "「あの川口賞は開運行動である」ということは成り立つ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの川口賞は猛々しくない"が導かれる
8. 推論6と事実11から、推論7: "その十大費目は流れ弾である"が導かれる
9. 推論7から、仮説が導かれる

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