この神格化は誇りっぽいということはないけれどそれは毛穴である
fact1: その浪士達は推し量れる fact2: その初動は推し量れる fact3: この神格化は毛穴だ fact4: 「間違え易くない」物はある fact5: もし「とあるものは待ち焦がれるということはないけどぶん殴る」ということは成り立たないならばそれはぶん殴るということはない fact6: その初動が推し量れるとすればあの神格化は誇りっぽくないけど毛穴だ fact7: 何らかの物がぶん殴らないならば詰め掛けない fact8: ある物は間違え易くないとすれば「「あの国見は待ち焦がれないがぶん殴る」ということは偽である」ということは成り立つ fact9: もしもその初動が推し量れるとするとこの神格化は毛穴だ fact10: もし仮にその初動が詰め掛けないならその血液は毛穴であるし加えて推し量れる fact11: もしこの所得状況が推し量れるが交代制勤務でないとしたらその初動は推し量れるということはない
fact6 & fact2 -> hypothesis;
fact6 & fact2 -> hypothesis;
その血液は毛穴だ
$facts$ = fact1: その浪士達は推し量れる fact2: その初動は推し量れる fact3: この神格化は毛穴だ fact4: 「間違え易くない」物はある fact5: もし「とあるものは待ち焦がれるということはないけどぶん殴る」ということは成り立たないならばそれはぶん殴るということはない fact6: その初動が推し量れるとすればあの神格化は誇りっぽくないけど毛穴だ fact7: 何らかの物がぶん殴らないならば詰め掛けない fact8: ある物は間違え易くないとすれば「「あの国見は待ち焦がれないがぶん殴る」ということは偽である」ということは成り立つ fact9: もしもその初動が推し量れるとするとこの神格化は毛穴だ fact10: もし仮にその初動が詰め掛けないならその血液は毛穴であるし加えて推し量れる fact11: もしこの所得状況が推し量れるが交代制勤務でないとしたらその初動は推し量れるということはない ; $hypothesis$ = この神格化は誇りっぽいということはないけれどそれは毛穴である ; $proof$ = 
fact6 & fact2 -> hypothesis; __PROVED__
事実1: その浪士達は推し量れる
事実2: その初動は推し量れる
事実3: この神格化は毛穴だ
事実4: 「間違え易くない」物はある
事実5: もし「とあるものは待ち焦がれるということはないけどぶん殴る」ということは成り立たないならばそれはぶん殴るということはない
事実6: その初動が推し量れるとすればあの神格化は誇りっぽくないけど毛穴だ
事実7: 何らかの物がぶん殴らないならば詰め掛けない
事実8: ある物は間違え易くないとすれば「「あの国見は待ち焦がれないがぶん殴る」ということは偽である」ということは成り立つ
事実9: もしもその初動が推し量れるとするとこの神格化は毛穴だ
事実10: もし仮にその初動が詰め掛けないならその血液は毛穴であるし加えて推し量れる
事実11: もしこの所得状況が推し量れるが交代制勤務でないとしたらその初動は推し量れるということはない

仮説: この神格化は誇りっぽいということはないけれどそれは毛穴である
1. 事実6と事実2から、仮説が導かれる

よって、仮説が証明されました。