その二次元バーコードは取得原価である
fact1: 「あの受け付け時間は小賢しくて仏像制作である」ということは成り立たない fact2: もし仮に「あの受け付け時間は小賢しいけど取得原価でない」ということは間違いであるならばあの二次元バーコードは仏像制作だ fact3: もしもあの受け付け時間は人らしいなら「それは小賢しくてそれは仏像制作でない」ということは偽だ fact4: もし仮にあの受け付け時間は人らしいとすれば「それは小賢しくて仏像制作だ」ということは正しくない fact5: もしも「あの受け付け時間は小賢しいけれど仏像制作でない」ということは成り立たないとしたらその二次元バーコードは取得原価だ fact6: 何かは進み易くないならば「人らしいししかもそれは取得原価だ」ということは嘘だ fact7: もしもあの受け付け時間が仏像制作ならばその二次元バーコードは取得原価だ fact8: 「何らかのものは進み易くてそれにそれは全戸だ」ということは嘘であるとすればそれは進み易くない fact9: あの受け付け時間は人らしい
fact3 & fact9 -> int1: 「あの受け付け時間は小賢しいがそれは仏像制作でない」ということは成り立たない; int1 & fact5 -> hypothesis;
「その理論展開は仏像制作だ」ということは成り立つ
fact11 -> int2: もし仮にあの受け付け時間は進み易くないとしたら「それは人らしいしまた取得原価だ」ということは偽である; fact10 -> int3: もしも「あの受け付け時間は進み易いし全戸である」ということは事実と異なるとすればそれは進み易いということはない;
$facts$ = fact1: 「あの受け付け時間は小賢しくて仏像制作である」ということは成り立たない fact2: もし仮に「あの受け付け時間は小賢しいけど取得原価でない」ということは間違いであるならばあの二次元バーコードは仏像制作だ fact3: もしもあの受け付け時間は人らしいなら「それは小賢しくてそれは仏像制作でない」ということは偽だ fact4: もし仮にあの受け付け時間は人らしいとすれば「それは小賢しくて仏像制作だ」ということは正しくない fact5: もしも「あの受け付け時間は小賢しいけれど仏像制作でない」ということは成り立たないとしたらその二次元バーコードは取得原価だ fact6: 何かは進み易くないならば「人らしいししかもそれは取得原価だ」ということは嘘だ fact7: もしもあの受け付け時間が仏像制作ならばその二次元バーコードは取得原価だ fact8: 「何らかのものは進み易くてそれにそれは全戸だ」ということは嘘であるとすればそれは進み易くない fact9: あの受け付け時間は人らしい ; $hypothesis$ = その二次元バーコードは取得原価である ; $proof$ = 
fact3 & fact9 -> int1: 「あの受け付け時間は小賢しいがそれは仏像制作でない」ということは成り立たない; int1 & fact5 -> hypothesis; __PROVED__
事実1: 「あの受け付け時間は小賢しくて仏像制作である」ということは成り立たない
事実2: もし仮に「あの受け付け時間は小賢しいけど取得原価でない」ということは間違いであるならばあの二次元バーコードは仏像制作だ
事実3: もしもあの受け付け時間は人らしいなら「それは小賢しくてそれは仏像制作でない」ということは偽だ
事実4: もし仮にあの受け付け時間は人らしいとすれば「それは小賢しくて仏像制作だ」ということは正しくない
事実5: もしも「あの受け付け時間は小賢しいけれど仏像制作でない」ということは成り立たないとしたらその二次元バーコードは取得原価だ
事実6: 何かは進み易くないならば「人らしいししかもそれは取得原価だ」ということは嘘だ
事実7: もしもあの受け付け時間が仏像制作ならばその二次元バーコードは取得原価だ
事実8: 「何らかのものは進み易くてそれにそれは全戸だ」ということは嘘であるとすればそれは進み易くない
事実9: あの受け付け時間は人らしい

仮説: その二次元バーコードは取得原価である
1. 事実3と事実9から、推論1: "「あの受け付け時間は小賢しいがそれは仏像制作でない」ということは成り立たない"が導かれる
2. 推論1と事実5から、仮説が導かれる

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