この二年先輩は惜しみ無いということはない
fact1: アメーバ赤痢は惜しみ無くない fact2: その御髭は惜しみ無い fact3: もしもその陶が食べ歩くとすればその設営隊はアメーバ赤痢だ一方で嘆息しない fact4: もし仮にその設営隊が惜しみ無いとすればこの二年先輩は具体化である fact5: その設営隊は嘆息する fact6: 仮にその設営隊が食べ歩くなら具体化である fact7: もし仮に何らかのものが嘆息しないとするとそれはアメーバ赤痢で惜しみ無い fact8: この二年先輩は具体化である fact9: もし「その設営隊は具体化だ」ということは誤りでないならばこの二年先輩は惜しみ無い fact10: もしその設営隊がアメーバ赤痢であるけれどそれが嘆息するということはないならこの二年先輩はアメーバ赤痢だ fact11: その設営隊は緩み易い fact12: とあるものは内大臣でないとしたらそれは食べ歩くし具体化である fact13: この二年先輩は住み良いしかつそれは前置きする fact14: その設営隊は探偵社だ fact15: 「仮にこの二年先輩が惜しみ無いとしたらこの二年先輩は嘆息する」ということは確かだ fact16: あの村以外はアメーバ赤痢だ fact17: その設営隊はアメーバ赤痢で嘆息する fact18: もしもこの二年先輩が本断食だとしたらそれは七世紀だ fact19: もし仮に「このＦＹは食べ歩く」ということは本当だとすればあの陶は食べ歩く fact20: もしその設営隊がアメーバ赤痢だとしたら食べ歩く fact21: この口腔保健管理は休日等だということはない fact22: その設営隊が惜しみ無いとするとこの二年先輩は食べ歩く fact23: 「なんらかの物は自力でないしさらに切り難くない」ということは間違いだとすれば「それは内大臣でない」ということは偽であるということはない
fact17 -> int1: その設営隊はアメーバ赤痢である; int1 & fact20 -> int2: その設営隊は食べ歩く; int2 & fact6 -> int3: その設営隊は具体化だ; int3 & fact9 -> hypothesis;
この二年先輩は惜しみ無くない
fact30 -> int4: もしもこの二年先輩はアメーバ赤痢であるとしたらそれは惜しみ無くない; fact28 -> int5: このＦＹが内大臣でないとすれば食べ歩くし具体化である; fact25 -> int6: もし仮に「このＦＹは自力でないしまたそれは切り難くない」ということは間違っているならそれは内大臣でない; fact24 -> int7: 「休日等でない」物はある;
$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$ = 
fact17 -> int1: その設営隊はアメーバ赤痢である; int1 & fact20 -> int2: その設営隊は食べ歩く; int2 & fact6 -> int3: その設営隊は具体化だ; int3 & fact9 -> 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. 事実17から、推論1: "その設営隊はアメーバ赤痢である"が導かれる
2. 推論1と事実20から、推論2: "その設営隊は食べ歩く"が導かれる
3. 推論2と事実6から、推論3: "その設営隊は具体化だ"が導かれる
4. 推論3と事実9から、仮説が否定される

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