あのペンシル・癌は同世代間であるかまたは建設金融である
fact1: もしこの物流システムが変え難いならあのペンシル・癌は同世代間だ fact2: なんらかのものはバイシェーシカ・スートラだとすると「あの新受件数は弁解がましいがしかしバイシェーシカ・スートラでない」ということは成り立たない fact3: この物流システムは御寺であるかそれは変え難いかもしくは両方ともである fact4: 「あのペンシル・癌は同世代間であるか変え難いかあるいは両方ともだ」ということは成り立つ fact5: その首回りは分解され難いということはない fact6: 「もしも「あの新受件数は弁解がましい一方でバイシェーシカ・スートラでない」ということは嘘であるとすればあの新受件数が弁解はましくらない」ということは確かである fact7: 「その首回りは外し易いがしかしそれは掻き乱さない」ということは成り立たない fact8: もしこの物流システムが御寺ならあのペンシル・癌は同世代間だ fact9: もしもある物が弁解がましかないなら掻っ払うしさらにそれは変え難い fact10: 「何かは外し易いがしかし掻き乱すということはない」ということは間違っているとすると突出する fact11: このリンパ腺が分解され難いということはないならばあの大老はバイシェーシカ・スートラであるし捕らわれ易い fact12: 仮にこの物流システムは御寺でないなら「「あのペンシル・癌は同世代間であるかもしくはそれは建設金融であるか両方ともである」ということは成り立つということはない」ということは確かである fact13: もしもその首回りが分解され難くないが突出するならこのリンパ腺は分解され難くない
fact3 & fact8 & fact1 -> int1: あのペンシル・癌は同世代間である; int1 -> hypothesis;
fact3 & fact8 & fact1 -> int1: {C}{c}; int1 -> hypothesis;
「あのペンシル・癌は同世代間であるかもしくはそれは建設金融であるかもしくは両方だ」ということは誤っている
fact16 -> int2: あの新受件数が弁解がましかないならば掻っ払うしかつ変え難い; fact20 -> int3: もしも「その首回りは外し易いけど掻き乱さない」ということは本当でないとすれば突出する; int3 & fact18 -> int4: その首回りは突出する; fact22 & int4 -> int5: その首回りは分解され難くないけれど突出する; fact19 & int5 -> int6: このリンパ腺は分解され難くない; fact14 & int6 -> int7: この大老はバイシェーシカ・スートラで捕らわれ易い; int7 -> int8: この大老はバイシェーシカ・スートラだ; int8 -> int9: バイシェーシカ・スートラはある; int9 & fact15 -> int10: 「あの新受件数は弁解がましいけどそれはバイシェーシカ・スートラでない」ということは偽である; fact21 & int10 -> int11: あの新受件数は弁解がましかない; int2 & int11 -> int12: あの新受件数は掻っ払うし加えてそれは変え難い; int12 -> int13: 「掻っ払うししかも変え難い」ものはある;
$facts$ = fact1: もしこの物流システムが変え難いならあのペンシル・癌は同世代間だ fact2: なんらかのものはバイシェーシカ・スートラだとすると「あの新受件数は弁解がましいがしかしバイシェーシカ・スートラでない」ということは成り立たない fact3: この物流システムは御寺であるかそれは変え難いかもしくは両方ともである fact4: 「あのペンシル・癌は同世代間であるか変え難いかあるいは両方ともだ」ということは成り立つ fact5: その首回りは分解され難いということはない fact6: 「もしも「あの新受件数は弁解がましい一方でバイシェーシカ・スートラでない」ということは嘘であるとすればあの新受件数が弁解はましくらない」ということは確かである fact7: 「その首回りは外し易いがしかしそれは掻き乱さない」ということは成り立たない fact8: もしこの物流システムが御寺ならあのペンシル・癌は同世代間だ fact9: もしもある物が弁解がましかないなら掻っ払うしさらにそれは変え難い fact10: 「何かは外し易いがしかし掻き乱すということはない」ということは間違っているとすると突出する fact11: このリンパ腺が分解され難いということはないならばあの大老はバイシェーシカ・スートラであるし捕らわれ易い fact12: 仮にこの物流システムは御寺でないなら「「あのペンシル・癌は同世代間であるかもしくはそれは建設金融であるか両方ともである」ということは成り立つということはない」ということは確かである fact13: もしもその首回りが分解され難くないが突出するならこのリンパ腺は分解され難くない ; $hypothesis$ = あのペンシル・癌は同世代間であるかまたは建設金融である ; $proof$ = 
fact3 & fact8 & fact1 -> int1: あのペンシル・癌は同世代間である; int1 -> hypothesis; __PROVED__
事実1: もしこの物流システムが変え難いならあのペンシル・癌は同世代間だ
事実2: なんらかのものはバイシェーシカ・スートラだとすると「あの新受件数は弁解がましいがしかしバイシェーシカ・スートラでない」ということは成り立たない
事実3: この物流システムは御寺であるかそれは変え難いかもしくは両方ともである
事実4: 「あのペンシル・癌は同世代間であるか変え難いかあるいは両方ともだ」ということは成り立つ
事実5: その首回りは分解され難いということはない
事実6: 「もしも「あの新受件数は弁解がましい一方でバイシェーシカ・スートラでない」ということは嘘であるとすればあの新受件数が弁解はましくらない」ということは確かである
事実7: 「その首回りは外し易いがしかしそれは掻き乱さない」ということは成り立たない
事実8: もしこの物流システムが御寺ならあのペンシル・癌は同世代間だ
事実9: もしもある物が弁解がましかないなら掻っ払うしさらにそれは変え難い
事実10: 「何かは外し易いがしかし掻き乱すということはない」ということは間違っているとすると突出する
事実11: このリンパ腺が分解され難いということはないならばあの大老はバイシェーシカ・スートラであるし捕らわれ易い
事実12: 仮にこの物流システムは御寺でないなら「「あのペンシル・癌は同世代間であるかもしくはそれは建設金融であるか両方ともである」ということは成り立つということはない」ということは確かである
事実13: もしもその首回りが分解され難くないが突出するならこのリンパ腺は分解され難くない

仮説: あのペンシル・癌は同世代間であるかまたは建設金融である
1. 事実3と事実8と事実1から、推論1: "あのペンシル・癌は同世代間である"が導かれる
2. 推論1から、仮説が導かれる

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