「この加賀国は飛行機らしいしさらに反作用する」ということは確かでない
fact1: 仮に「この加賀国は飛行機らしい」ということは本当ならばあの成長因子は飛行機らしい fact2: もし仮にその成長因子が惜しみ無いならばそれは辺りである fact3: その成長因子は雨合羽でないならばそれは惜しみ無いしその上常在する fact4: 仮にこのエクセレントが反作用するとするとこの加賀国は考え易い fact5: もし「その成長因子は雨合羽であるがしかし鬻がない」ということは事実と異なるとしたらそれは雨合羽でない fact6: この加賀国は考え易い fact7: 仮になんらかのものはＣＴ像でないとすれば「それは考え易いしまた反作用する」ということは成り立つということはない fact8: もしもこのエクセレントが反作用するならあの八品目は考え易い fact9: このエクセレントは反作用する fact10: 仮にその成長因子が反作用するとしたらこの加賀国は反作用する fact11: その成長因子は反作用する fact12: このエクセレントが考え易いならこの加賀国は飛行機らしい fact13: 「その成長因子はまごつくしおまけにそれはめでたい」ということは成り立つ fact14: もしもこのエクセレントが考え易いとしたらその成長因子は考え易い fact15: このＩＭＵは飛行機らしい fact16: このエクセレントは考え易い fact17: もしも「このエクセレントは考え易い」ということは確かであるとすればあの加賀国は考え易い fact18: 「その成長因子は飛行機らしい」ということは成り立つ fact19: その勤労学徒は反作用する fact20: あのパノラマサイズは反作用する fact21: その成長因子が辺りだとすればＣＴ像でない fact22: もし仮に「その成長因子は考え易い」ということは確かだとすればあのエクセレントは考え易い fact23: もし仮に「この加賀国は考え易い」ということは本当ならこのエクセレントは反作用する
fact12 & fact16 -> int1: この加賀国は飛行機らしい; fact11 & fact10 -> int2: この加賀国は反作用する; int1 & int2 -> 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$ = 
fact12 & fact16 -> int1: この加賀国は飛行機らしい; fact11 & fact10 -> int2: この加賀国は反作用する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「この加賀国は飛行機らしい」ということは本当ならばあの成長因子は飛行機らしい
事実2: もし仮にその成長因子が惜しみ無いならばそれは辺りである
事実3: その成長因子は雨合羽でないならばそれは惜しみ無いしその上常在する
事実4: 仮にこのエクセレントが反作用するとするとこの加賀国は考え易い
事実5: もし「その成長因子は雨合羽であるがしかし鬻がない」ということは事実と異なるとしたらそれは雨合羽でない
事実6: この加賀国は考え易い
事実7: 仮になんらかのものはＣＴ像でないとすれば「それは考え易いしまた反作用する」ということは成り立つということはない
事実8: もしもこのエクセレントが反作用するならあの八品目は考え易い
事実9: このエクセレントは反作用する
事実10: 仮にその成長因子が反作用するとしたらこの加賀国は反作用する
事実11: その成長因子は反作用する
事実12: このエクセレントが考え易いならこの加賀国は飛行機らしい
事実13: 「その成長因子はまごつくしおまけにそれはめでたい」ということは成り立つ
事実14: もしもこのエクセレントが考え易いとしたらその成長因子は考え易い
事実15: このＩＭＵは飛行機らしい
事実16: このエクセレントは考え易い
事実17: もしも「このエクセレントは考え易い」ということは確かであるとすればあの加賀国は考え易い
事実18: 「その成長因子は飛行機らしい」ということは成り立つ
事実19: その勤労学徒は反作用する
事実20: あのパノラマサイズは反作用する
事実21: その成長因子が辺りだとすればＣＴ像でない
事実22: もし仮に「その成長因子は考え易い」ということは確かだとすればあのエクセレントは考え易い
事実23: もし仮に「この加賀国は考え易い」ということは本当ならこのエクセレントは反作用する

仮説: 「この加賀国は飛行機らしいしさらに反作用する」ということは確かでない
1. 事実12と事実16から、推論1: "この加賀国は飛行機らしい"が導かれる
2. 事実11と事実10から、推論2: "この加賀国は反作用する"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。