あの検討項目は私達市民だ
fact1: 仮に「その中立主義は身体的治療でない」ということは事実であるならば「あの借り入れ人はブーメランでないがしかし大柄である」ということは間違いである fact2: 仮に何らかの物は精神病性でないけれどきな臭いとしたらそれは手堅くない fact3: あの前席は手堅い fact4: もし仮になんらかの物が飲み過ぎるということはないとすると精神病性でなくてしかもきな臭い fact5: あの検討項目は感心するがしかし若しない fact6: もしもなんらかの物が数君でないし利き難くないとすれば手堅いということはない fact7: その僥倖が少女漫画ならあの無作為割り付けは少女漫画である fact8: もし仮にこの展示品が利き難いししかもそれが止まり続けるとすればあの海外事業は感心しない fact9: もしも何かは止まり続ければ数君であるということはないしさらに利き難いということはない fact10: 「もしもあの検討項目が数君であるけど利き難くないならばあの検討項目は手堅くない」ということは確かだ fact11: もし仮にあの予算計上額が数君だが注ぎ込めないならこの展示品は数君でない fact12: あの検討項目は若しない fact13: 手堅くない物が注ぎ込めないとすればきな臭い fact14: あの検討項目は注ぎ込めない fact15: もし仮になにがしかの物が演出出来るとしたら御上げ為さらないし更に世継ぎでない fact16: もしあの検討項目は私達市民であるとしたらそれは精神病性でなくてＫＥＹでない fact17: その御白州は注ぎ込めない fact18: もしあの検討項目がきな臭いとしたら私達市民だ fact19: もしもあの無作為割り付けが少女漫画であるとしたらその中立主義は制作時期でなくて弁済方法でない fact20: もしあの借り入れ人が御上げ為さるということはなくてそれが世継ぎでないとしたらあの予算計上額は飲み過ぎない fact21: もし「あの借り入れ人はブーメランでないがしかし大柄だ」ということは誤っているとしたらそれは演出出来る fact22: もし「その中立主義は制作時期でなくてかつ弁済方法でない」ということは成り立てばそれは身体的治療でない fact23: 「「あの海外事業は私達市民でないけど若し」ということは成り立つということはない」ということは真実であるならばあの検討項目は私達市民でない fact24: もし仮になにがしかの物が手堅いとすれば注ぎ込めなくておまけに若しない fact25: もし仮に何らかの物は感心しないとしたら「それは私達市民でないが若し」ということは成り立つということはない fact26: 仮にあの検討項目が感心するとしたらそれは止まり続ける
fact5 -> int1: あの検討項目は感心する; int1 & fact26 -> int2: あの検討項目は止まり続ける; fact9 -> int3: もし仮にあの検討項目が止まり続ければ数君だということはなくて利き難くない; int2 & int3 -> int4: あの検討項目は数君でないしさらに利き難くない; fact6 -> int5: 仮に「あの検討項目は数君でないしさらに利き難くない」ということは正しいなら手堅くない; int4 & int5 -> int6: あの検討項目は手堅くない; int6 & fact14 -> int7: あの検討項目は手堅くなくてかつ注ぎ込めない; fact13 -> int8: あの検討項目は手堅くなくて注ぎ込めないとしたらきな臭い; int7 & int8 -> int9: あの検討項目はきな臭い; int9 & fact18 -> hypothesis;
あの検討項目は私達市民でない
fact32 -> int10: 仮にあの海外事業は感心しないなら「私達市民でないが若し」ということは誤っている; fact38 -> int11: もし仮にあの予算計上額は精神病性でないけれどきな臭いとすればそれは手堅くない; fact35 -> int12: 仮にあの予算計上額が飲み過ぎるということはないとしたら精神病性だということはないしさらにそれはきな臭い; fact31 -> int13: あの借り入れ人が演出出来るとすると御上げ為さらなくて更に世継ぎでない;
$facts$ = fact1: 仮に「その中立主義は身体的治療でない」ということは事実であるならば「あの借り入れ人はブーメランでないがしかし大柄である」ということは間違いである fact2: 仮に何らかの物は精神病性でないけれどきな臭いとしたらそれは手堅くない fact3: あの前席は手堅い fact4: もし仮になんらかの物が飲み過ぎるということはないとすると精神病性でなくてしかもきな臭い fact5: あの検討項目は感心するがしかし若しない fact6: もしもなんらかの物が数君でないし利き難くないとすれば手堅いということはない fact7: その僥倖が少女漫画ならあの無作為割り付けは少女漫画である fact8: もし仮にこの展示品が利き難いししかもそれが止まり続けるとすればあの海外事業は感心しない fact9: もしも何かは止まり続ければ数君であるということはないしさらに利き難いということはない fact10: 「もしもあの検討項目が数君であるけど利き難くないならばあの検討項目は手堅くない」ということは確かだ fact11: もし仮にあの予算計上額が数君だが注ぎ込めないならこの展示品は数君でない fact12: あの検討項目は若しない fact13: 手堅くない物が注ぎ込めないとすればきな臭い fact14: あの検討項目は注ぎ込めない fact15: もし仮になにがしかの物が演出出来るとしたら御上げ為さらないし更に世継ぎでない fact16: もしあの検討項目は私達市民であるとしたらそれは精神病性でなくてＫＥＹでない fact17: その御白州は注ぎ込めない fact18: もしあの検討項目がきな臭いとしたら私達市民だ fact19: もしもあの無作為割り付けが少女漫画であるとしたらその中立主義は制作時期でなくて弁済方法でない fact20: もしあの借り入れ人が御上げ為さるということはなくてそれが世継ぎでないとしたらあの予算計上額は飲み過ぎない fact21: もし「あの借り入れ人はブーメランでないがしかし大柄だ」ということは誤っているとしたらそれは演出出来る fact22: もし「その中立主義は制作時期でなくてかつ弁済方法でない」ということは成り立てばそれは身体的治療でない fact23: 「「あの海外事業は私達市民でないけど若し」ということは成り立つということはない」ということは真実であるならばあの検討項目は私達市民でない fact24: もし仮になにがしかの物が手堅いとすれば注ぎ込めなくておまけに若しない fact25: もし仮に何らかの物は感心しないとしたら「それは私達市民でないが若し」ということは成り立つということはない fact26: 仮にあの検討項目が感心するとしたらそれは止まり続ける ; $hypothesis$ = あの検討項目は私達市民だ ; $proof$ = 
fact5 -> int1: あの検討項目は感心する; int1 & fact26 -> int2: あの検討項目は止まり続ける; fact9 -> int3: もし仮にあの検討項目が止まり続ければ数君だということはなくて利き難くない; int2 & int3 -> int4: あの検討項目は数君でないしさらに利き難くない; fact6 -> int5: 仮に「あの検討項目は数君でないしさらに利き難くない」ということは正しいなら手堅くない; int4 & int5 -> int6: あの検討項目は手堅くない; int6 & fact14 -> int7: あの検討項目は手堅くなくてかつ注ぎ込めない; fact13 -> int8: あの検討項目は手堅くなくて注ぎ込めないとしたらきな臭い; int7 & int8 -> int9: あの検討項目はきな臭い; int9 & fact18 -> 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: 「「あの海外事業は私達市民でないけど若し」ということは成り立つということはない」ということは真実であるならばあの検討項目は私達市民でない
事実24: もし仮になにがしかの物が手堅いとすれば注ぎ込めなくておまけに若しない
事実25: もし仮に何らかの物は感心しないとしたら「それは私達市民でないが若し」ということは成り立つということはない
事実26: 仮にあの検討項目が感心するとしたらそれは止まり続ける

仮説: あの検討項目は私達市民だ
1. 事実5から、推論1: "あの検討項目は感心する"が導かれる
2. 推論1と事実26から、推論2: "あの検討項目は止まり続ける"が導かれる
3. 事実9から、推論3: "もし仮にあの検討項目が止まり続ければ数君だということはなくて利き難くない"が導かれる
4. 推論2と推論3から、推論4: "あの検討項目は数君でないしさらに利き難くない"が導かれる
5. 事実6から、推論5: "仮に「あの検討項目は数君でないしさらに利き難くない」ということは正しいなら手堅くない"が導かれる
6. 推論4と推論5から、推論6: "あの検討項目は手堅くない"が導かれる
7. 推論6と事実14から、推論7: "あの検討項目は手堅くなくてかつ注ぎ込めない"が導かれる
8. 事実13から、推論8: "あの検討項目は手堅くなくて注ぎ込めないとしたらきな臭い"が導かれる
9. 推論7と推論8から、推論9: "あの検討項目はきな臭い"が導かれる
10. 推論9と事実18から、仮説が導かれる

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