なんらかの物は青臭い
fact1: あの虫キングは伝授しない fact2: あの法定充当は御出でに成る fact3: 仮にあの国内投資家は焼き尽くさないとすれば「このヒストリパネルは青臭い」ということは事実である fact4: もしも「あの虫キングは育て易いか日本帝国であるかもしくは両方だ」ということは成り立たないとすればあの国内投資家は育て易いということはない fact5: その抗ヒスタミン薬は御出でに成らない fact6: あの虫キングは御出でに成る fact7: なにがしかのものはヒアリング調査であるということはないとしたら「育て易くないけれど焼き尽くす」ということは間違いである fact8: このヒストリパネルはヒアリング調査である fact9: もし「あの国内投資家は日本帝国でないがそれは焼き尽くす」ということは嘘だとすればこのヒストリパネルは青臭い fact10: あの虫キングが持ち難くないしさらに育て易くない fact11: あの法定充当は強しということはない fact12: このヒストリパネルは紛らわしい fact13: もしあの虫キングは焼き尽くさないとすれば「あの国内投資家は日本帝国でない一方で焼き尽くす」ということは嘘である fact14: このヒストリパネルは御出でに成る fact15: 「あの雌性先熟は持ち難くない」ということは成り立つ fact16: 「「なにがしかのものは切り離し難いが中絶手術でない」ということは偽ならばそれは個人タクシーでない」ということは偽でない fact17: このヒストリパネルは持ち難い fact18: もし仮にとある物は個人タクシーでないししかも強しないならばそれは青臭いということはない fact19: もし仮に「このヒストリパネルは焼き尽くさない」ということは確かだとしたら「あの虫キングは育て易いか日本帝国であるかあるいはどちらもだ」ということは間違っている fact20: 「あの虫キングは焼き尽くさないがそれは青臭い」ということは間違っている fact21: 「あの法定充当は切り離し難い一方で中絶手術でない」ということは成り立たない fact22: あの虫キングが御出でに成るとしたらそれはヒアリング調査でない
fact10 -> int1: あの虫キングは育て易くない; void -> assump1: 以下のように仮定する。あの虫キングは焼き尽くす; int1 & assump1 -> int2: あの虫キングは育て易くないけど焼き尽くす; fact7 -> int3: もしあの虫キングはヒアリング調査でないとすると「育て易くないけど焼き尽くす」ということは成り立たない; fact22 & fact6 -> int4: あの虫キングはヒアリング調査でない; int3 & int4 -> int5: 「あの虫キングは育て易くないけど焼き尽くす」ということは誤りだ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの虫キングは焼き尽くさない; int7 & fact13 -> int8: 「あの国内投資家は日本帝国でないけどそれは焼き尽くす」ということは間違いである; int8 & fact9 -> int9: このヒストリパネルは青臭い; int9 -> hypothesis;
あの国内投資家はヒアリング調査でない
fact28 -> int10: 仮にあの法定充当が個人タクシーでないししかもそれが強しないなら青臭くない; fact26 -> int11: もしも「あの法定充当は切り離し難いが中絶手術であるということはない」ということは本当でないとするとそれは個人タクシーだということはない; int11 & fact27 -> int12: あの法定充当は個人タクシーでない; int12 & fact29 -> int13: あの法定充当は個人タクシーでなくてそれは強しということはない; int10 & int13 -> int14: あの法定充当は青臭くない; fact23 & int14 -> int15: あの法定充当は御出でに成るが青臭くない; int15 -> int16: なにかは御出でに成るが青臭くない;
$facts$ = fact1: あの虫キングは伝授しない fact2: あの法定充当は御出でに成る fact3: 仮にあの国内投資家は焼き尽くさないとすれば「このヒストリパネルは青臭い」ということは事実である fact4: もしも「あの虫キングは育て易いか日本帝国であるかもしくは両方だ」ということは成り立たないとすればあの国内投資家は育て易いということはない fact5: その抗ヒスタミン薬は御出でに成らない fact6: あの虫キングは御出でに成る fact7: なにがしかのものはヒアリング調査であるということはないとしたら「育て易くないけれど焼き尽くす」ということは間違いである fact8: このヒストリパネルはヒアリング調査である fact9: もし「あの国内投資家は日本帝国でないがそれは焼き尽くす」ということは嘘だとすればこのヒストリパネルは青臭い fact10: あの虫キングが持ち難くないしさらに育て易くない fact11: あの法定充当は強しということはない fact12: このヒストリパネルは紛らわしい fact13: もしあの虫キングは焼き尽くさないとすれば「あの国内投資家は日本帝国でない一方で焼き尽くす」ということは嘘である fact14: このヒストリパネルは御出でに成る fact15: 「あの雌性先熟は持ち難くない」ということは成り立つ fact16: 「「なにがしかのものは切り離し難いが中絶手術でない」ということは偽ならばそれは個人タクシーでない」ということは偽でない fact17: このヒストリパネルは持ち難い fact18: もし仮にとある物は個人タクシーでないししかも強しないならばそれは青臭いということはない fact19: もし仮に「このヒストリパネルは焼き尽くさない」ということは確かだとしたら「あの虫キングは育て易いか日本帝国であるかあるいはどちらもだ」ということは間違っている fact20: 「あの虫キングは焼き尽くさないがそれは青臭い」ということは間違っている fact21: 「あの法定充当は切り離し難い一方で中絶手術でない」ということは成り立たない fact22: あの虫キングが御出でに成るとしたらそれはヒアリング調査でない ; $hypothesis$ = なんらかの物は青臭い ; $proof$ = 
fact10 -> int1: あの虫キングは育て易くない; void -> assump1: 以下のように仮定する。あの虫キングは焼き尽くす; int1 & assump1 -> int2: あの虫キングは育て易くないけど焼き尽くす; fact7 -> int3: もしあの虫キングはヒアリング調査でないとすると「育て易くないけど焼き尽くす」ということは成り立たない; fact22 & fact6 -> int4: あの虫キングはヒアリング調査でない; int3 & int4 -> int5: 「あの虫キングは育て易くないけど焼き尽くす」ということは誤りだ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの虫キングは焼き尽くさない; int7 & fact13 -> int8: 「あの国内投資家は日本帝国でないけどそれは焼き尽くす」ということは間違いである; int8 & fact9 -> int9: このヒストリパネルは青臭い; int9 -> hypothesis; __PROVED__
事実1: あの虫キングは伝授しない
事実2: あの法定充当は御出でに成る
事実3: 仮にあの国内投資家は焼き尽くさないとすれば「このヒストリパネルは青臭い」ということは事実である
事実4: もしも「あの虫キングは育て易いか日本帝国であるかもしくは両方だ」ということは成り立たないとすればあの国内投資家は育て易いということはない
事実5: その抗ヒスタミン薬は御出でに成らない
事実6: あの虫キングは御出でに成る
事実7: なにがしかのものはヒアリング調査であるということはないとしたら「育て易くないけれど焼き尽くす」ということは間違いである
事実8: このヒストリパネルはヒアリング調査である
事実9: もし「あの国内投資家は日本帝国でないがそれは焼き尽くす」ということは嘘だとすればこのヒストリパネルは青臭い
事実10: あの虫キングが持ち難くないしさらに育て易くない
事実11: あの法定充当は強しということはない
事実12: このヒストリパネルは紛らわしい
事実13: もしあの虫キングは焼き尽くさないとすれば「あの国内投資家は日本帝国でない一方で焼き尽くす」ということは嘘である
事実14: このヒストリパネルは御出でに成る
事実15: 「あの雌性先熟は持ち難くない」ということは成り立つ
事実16: 「「なにがしかのものは切り離し難いが中絶手術でない」ということは偽ならばそれは個人タクシーでない」ということは偽でない
事実17: このヒストリパネルは持ち難い
事実18: もし仮にとある物は個人タクシーでないししかも強しないならばそれは青臭いということはない
事実19: もし仮に「このヒストリパネルは焼き尽くさない」ということは確かだとしたら「あの虫キングは育て易いか日本帝国であるかあるいはどちらもだ」ということは間違っている
事実20: 「あの虫キングは焼き尽くさないがそれは青臭い」ということは間違っている
事実21: 「あの法定充当は切り離し難い一方で中絶手術でない」ということは成り立たない
事実22: あの虫キングが御出でに成るとしたらそれはヒアリング調査でない

仮説: なんらかの物は青臭い
1. 事実10から、推論1: "あの虫キングは育て易くない"が導かれる
2. 仮定1: 以下のように仮定する。あの虫キングは焼き尽くす
3. 推論1と仮定1から、推論2: "あの虫キングは育て易くないけど焼き尽くす"が導かれる
4. 事実7から、推論3: "もしあの虫キングはヒアリング調査でないとすると「育て易くないけど焼き尽くす」ということは成り立たない"が導かれる
5. 事実22と事実6から、推論4: "あの虫キングはヒアリング調査でない"が導かれる
6. 推論3と推論4から、推論5: "「あの虫キングは育て易くないけど焼き尽くす」ということは誤りだ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの虫キングは焼き尽くさない"が導かれる
9. 推論7と事実13から、推論8: "「あの国内投資家は日本帝国でないけどそれは焼き尽くす」ということは間違いである"が導かれる
10. 推論8と事実9から、推論9: "このヒストリパネルは青臭い"が導かれる
11. 推論9から、仮説が導かれる

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