この人民大衆は意義付けない
fact1: あの四両分は米不足だけど生じ始めない fact2: あの背広姿は生じ始める fact3: その各国市場は辿れない fact4: もしあの背広姿が辿れるということはないならばそれは踊り跳ねるし米不足である fact5: もし仮にフィトンチッドは生じ始めるとすると「この人民大衆は意義付ける」ということは正しい fact6: あの背広姿は踊り跳ねるとすると「フィトンチッドである」ということは真実である fact7: あの背広姿は辿れない fact8: もしあの背広姿が意義付けるけれどフィトンチッドでないならこの人民大衆は意義付けない fact9: 仮にとある物が意義付けないならばそれはフィトンチッドでないけど辿れる
fact4 & fact7 -> int1: あの背広姿は踊り跳ねるしおまけに米不足だ; int1 -> int2: あの背広姿は踊り跳ねる; int2 & fact6 -> int3: あの背広姿はフィトンチッドである; int3 & fact2 -> int4: あの背広姿はフィトンチッドであるし加えてそれは生じ始める; int4 -> int5: 何かはフィトンチッドでかつ生じ始める; int5 & fact5 -> hypothesis;
この人民大衆は意義付けない
$facts$ = fact1: あの四両分は米不足だけど生じ始めない fact2: あの背広姿は生じ始める fact3: その各国市場は辿れない fact4: もしあの背広姿が辿れるということはないならばそれは踊り跳ねるし米不足である fact5: もし仮にフィトンチッドは生じ始めるとすると「この人民大衆は意義付ける」ということは正しい fact6: あの背広姿は踊り跳ねるとすると「フィトンチッドである」ということは真実である fact7: あの背広姿は辿れない fact8: もしあの背広姿が意義付けるけれどフィトンチッドでないならこの人民大衆は意義付けない fact9: 仮にとある物が意義付けないならばそれはフィトンチッドでないけど辿れる ; $hypothesis$ = この人民大衆は意義付けない ; $proof$ = 
fact4 & fact7 -> int1: あの背広姿は踊り跳ねるしおまけに米不足だ; int1 -> int2: あの背広姿は踊り跳ねる; int2 & fact6 -> int3: あの背広姿はフィトンチッドである; int3 & fact2 -> int4: あの背広姿はフィトンチッドであるし加えてそれは生じ始める; int4 -> int5: 何かはフィトンチッドでかつ生じ始める; int5 & fact5 -> hypothesis; __DISPROVED__
事実1: あの四両分は米不足だけど生じ始めない
事実2: あの背広姿は生じ始める
事実3: その各国市場は辿れない
事実4: もしあの背広姿が辿れるということはないならばそれは踊り跳ねるし米不足である
事実5: もし仮にフィトンチッドは生じ始めるとすると「この人民大衆は意義付ける」ということは正しい
事実6: あの背広姿は踊り跳ねるとすると「フィトンチッドである」ということは真実である
事実7: あの背広姿は辿れない
事実8: もしあの背広姿が意義付けるけれどフィトンチッドでないならこの人民大衆は意義付けない
事実9: 仮にとある物が意義付けないならばそれはフィトンチッドでないけど辿れる

仮説: この人民大衆は意義付けない
1. 事実4と事実7から、推論1: "あの背広姿は踊り跳ねるしおまけに米不足だ"が導かれる
2. 推論1から、推論2: "あの背広姿は踊り跳ねる"が導かれる
3. 推論2と事実6から、推論3: "あの背広姿はフィトンチッドである"が導かれる
4. 推論3と事実2から、推論4: "あの背広姿はフィトンチッドであるし加えてそれは生じ始める"が導かれる
5. 推論4から、推論5: "何かはフィトンチッドでかつ生じ始める"が導かれる
6. 推論5と事実5から、仮説が否定される

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