あのきびなはリストである
fact1: あの十九世紀中頃は板坂卜斎でない fact2: あの十九世紀中頃は気高いリストである fact3: その瑞応院様はレベルアップする fact4: 仮にあのきびながリストであるし気高いならあの十九世紀中頃は生成し易くない fact5: あのきびなは御代わりする fact6: あの十九世紀中頃は生成し易いしかつ気高い fact7: もし仮にあの十九世紀中頃がリストでしかも生成し易いならばあのきびなは気高くない fact8: この主人公達は覚え難くて有り難い fact9: あの十九世紀中頃は借り易くない fact10: この管理教育は気高い fact11: 「あの十九世紀中頃は色好いがしかし男女関係でない」ということは本当だ fact12: もしも「とあるものはレベルアップする」ということは真実であるならばそれは若気だ fact13: 「あの十九世紀中頃は気高い」ということは正しい fact14: あのきびなが気高いしまたそれはリストであるとすると「あの十九世紀中頃は生成し易くない」ということは真実だ fact15: もしもあのきびなが生成し易くてそれが気高いならあの十九世紀中頃はリストでない fact16: もし仮にあの十九世紀中頃が生成し易くてかつそれが気高いならあのきびなはリストでない fact17: あの十九世紀中頃はリストであるし更に気高い fact18: あの王侯は広ーいしおまけに生成し易い fact19: もし仮にあの十九世紀中頃が気高くてリストであるとするとあのきびなは生成し易くない fact20: もしもあのきびながリストだしそれが生成し易いとするとあの十九世紀中頃は気高いということはない fact21: もしあの十九世紀中頃は色好い一方で男女関係でないならリストだ
fact16 & fact6 -> hypothesis;
fact16 & fact6 -> hypothesis;
その瑞応院様は若気で借り易い
fact22 -> int1: 仮にその瑞応院様がレベルアップするなら若気だ; int1 & fact23 -> int2: その瑞応院様は若気である;
$facts$ = fact1: あの十九世紀中頃は板坂卜斎でない fact2: あの十九世紀中頃は気高いリストである fact3: その瑞応院様はレベルアップする fact4: 仮にあのきびながリストであるし気高いならあの十九世紀中頃は生成し易くない fact5: あのきびなは御代わりする fact6: あの十九世紀中頃は生成し易いしかつ気高い fact7: もし仮にあの十九世紀中頃がリストでしかも生成し易いならばあのきびなは気高くない fact8: この主人公達は覚え難くて有り難い fact9: あの十九世紀中頃は借り易くない fact10: この管理教育は気高い fact11: 「あの十九世紀中頃は色好いがしかし男女関係でない」ということは本当だ fact12: もしも「とあるものはレベルアップする」ということは真実であるならばそれは若気だ fact13: 「あの十九世紀中頃は気高い」ということは正しい fact14: あのきびなが気高いしまたそれはリストであるとすると「あの十九世紀中頃は生成し易くない」ということは真実だ fact15: もしもあのきびなが生成し易くてそれが気高いならあの十九世紀中頃はリストでない fact16: もし仮にあの十九世紀中頃が生成し易くてかつそれが気高いならあのきびなはリストでない fact17: あの十九世紀中頃はリストであるし更に気高い fact18: あの王侯は広ーいしおまけに生成し易い fact19: もし仮にあの十九世紀中頃が気高くてリストであるとするとあのきびなは生成し易くない fact20: もしもあのきびながリストだしそれが生成し易いとするとあの十九世紀中頃は気高いということはない fact21: もしあの十九世紀中頃は色好い一方で男女関係でないならリストだ ; $hypothesis$ = あのきびなはリストである ; $proof$ = 
fact16 & fact6 -> hypothesis; __DISPROVED__
事実1: あの十九世紀中頃は板坂卜斎でない
事実2: あの十九世紀中頃は気高いリストである
事実3: その瑞応院様はレベルアップする
事実4: 仮にあのきびながリストであるし気高いならあの十九世紀中頃は生成し易くない
事実5: あのきびなは御代わりする
事実6: あの十九世紀中頃は生成し易いしかつ気高い
事実7: もし仮にあの十九世紀中頃がリストでしかも生成し易いならばあのきびなは気高くない
事実8: この主人公達は覚え難くて有り難い
事実9: あの十九世紀中頃は借り易くない
事実10: この管理教育は気高い
事実11: 「あの十九世紀中頃は色好いがしかし男女関係でない」ということは本当だ
事実12: もしも「とあるものはレベルアップする」ということは真実であるならばそれは若気だ
事実13: 「あの十九世紀中頃は気高い」ということは正しい
事実14: あのきびなが気高いしまたそれはリストであるとすると「あの十九世紀中頃は生成し易くない」ということは真実だ
事実15: もしもあのきびなが生成し易くてそれが気高いならあの十九世紀中頃はリストでない
事実16: もし仮にあの十九世紀中頃が生成し易くてかつそれが気高いならあのきびなはリストでない
事実17: あの十九世紀中頃はリストであるし更に気高い
事実18: あの王侯は広ーいしおまけに生成し易い
事実19: もし仮にあの十九世紀中頃が気高くてリストであるとするとあのきびなは生成し易くない
事実20: もしもあのきびながリストだしそれが生成し易いとするとあの十九世紀中頃は気高いということはない
事実21: もしあの十九世紀中頃は色好い一方で男女関係でないならリストだ

仮説: あのきびなはリストである
1. 事実16と事実6から、仮説が否定される

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