あの貧乏学生は上積みする
fact1: あの貧乏学生は嫉妬深い fact2: もしも「あるものは小博打であるし加えて根治療法だ」ということは間違っているとすればそれは根治療法であるということはない fact3: もし仮に「ある物は出入りし易くて更にワットである」ということは成り立たないとするとそれは出入りし易くない fact4: もしもそのアパート暮らしが根治療法でないならその脳血栓症は差し止め請求であるかあるいは嫉妬深い fact5: もし「その脳血栓症は差し止め請求だ」ということは成り立つとしたらあの貧乏学生は上積みする fact6: もし「発たない」ものはあるとすると「そのアパート暮らしは出入りし易くてワットである」ということは誤りだ fact7: なんらかのものは役者評判記だ fact8: 「この不統一は嫉妬深くない」ということは正しい fact9: その脳血栓症が発つかもしくは小博打でないかまたは両方であるならばあの貧乏学生は小博打だ fact10: あの貧乏学生は差し止め請求だ fact11: プライマリーが発生し続けるとすれば平べったくない fact12: あるものが解し難くないならばそれは研磨しないしかつ芳しいということはない fact13: もし何らかのものが上積みするということはないならば嫉妬深くて差し止め請求だ fact14: もし仮に差し止め請求が嫉妬深いとすればそれは上積みしない fact15: 仮になにかは揺すり立てないとしたら発つということはない fact16: もし仮にあの貧乏学生は小博打であるとすれば「それは根治療法であるけれど出入りし易くない」ということは事実でない fact17: なんらかのものは研磨するということはなくて芳しくないとすればそれは揺すり立てない fact18: 「もし「役者評判記な」ものがあるならこの雄猫は解し難くない」ということは成り立つ fact19: 「もし仮になにがしかの物は出入りし易くないならば「小博打だし更に根治療法だ」ということは成り立たない」ということは本当である fact20: 「あの貧乏学生は係留しない」ということは事実である
fact10 & fact1 -> int1: あの貧乏学生は差し止め請求であるし嫉妬深い; fact14 -> int2: もしもあの貧乏学生は差し止め請求であるし嫉妬深いとすると上積みするということはない; int1 & int2 -> hypothesis;
このＨＰＡ系は嫉妬深い
fact22 -> int3: 仮にこのＨＰＡ系が上積みしないならそれは嫉妬深くておまけに差し止め請求だ;
$facts$ = fact1: あの貧乏学生は嫉妬深い fact2: もしも「あるものは小博打であるし加えて根治療法だ」ということは間違っているとすればそれは根治療法であるということはない fact3: もし仮に「ある物は出入りし易くて更にワットである」ということは成り立たないとするとそれは出入りし易くない fact4: もしもそのアパート暮らしが根治療法でないならその脳血栓症は差し止め請求であるかあるいは嫉妬深い fact5: もし「その脳血栓症は差し止め請求だ」ということは成り立つとしたらあの貧乏学生は上積みする fact6: もし「発たない」ものはあるとすると「そのアパート暮らしは出入りし易くてワットである」ということは誤りだ fact7: なんらかのものは役者評判記だ fact8: 「この不統一は嫉妬深くない」ということは正しい fact9: その脳血栓症が発つかもしくは小博打でないかまたは両方であるならばあの貧乏学生は小博打だ fact10: あの貧乏学生は差し止め請求だ fact11: プライマリーが発生し続けるとすれば平べったくない fact12: あるものが解し難くないならばそれは研磨しないしかつ芳しいということはない fact13: もし何らかのものが上積みするということはないならば嫉妬深くて差し止め請求だ fact14: もし仮に差し止め請求が嫉妬深いとすればそれは上積みしない fact15: 仮になにかは揺すり立てないとしたら発つということはない fact16: もし仮にあの貧乏学生は小博打であるとすれば「それは根治療法であるけれど出入りし易くない」ということは事実でない fact17: なんらかのものは研磨するということはなくて芳しくないとすればそれは揺すり立てない fact18: 「もし「役者評判記な」ものがあるならこの雄猫は解し難くない」ということは成り立つ fact19: 「もし仮になにがしかの物は出入りし易くないならば「小博打だし更に根治療法だ」ということは成り立たない」ということは本当である fact20: 「あの貧乏学生は係留しない」ということは事実である ; $hypothesis$ = あの貧乏学生は上積みする ; $proof$ = 
fact10 & fact1 -> int1: あの貧乏学生は差し止め請求であるし嫉妬深い; fact14 -> 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: 「あの貧乏学生は係留しない」ということは事実である

仮説: あの貧乏学生は上積みする
1. 事実10と事実1から、推論1: "あの貧乏学生は差し止め請求であるし嫉妬深い"が導かれる
2. 事実14から、推論2: "もしもあの貧乏学生は差し止め請求であるし嫉妬深いとすると上積みするということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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