あのダブルバッファリングは厭わしいか徴収すかもしくは両方である
fact1: その救助工作車は優先性でない fact2: ある物はいとおしいならば「それは修養でないかあるいは通暁するかもしくはどちらもだ」ということは正しくない fact3: もしもなんらかの物が縫い込めばいとおしい fact4: もし「その救助工作車は修養でないかもしくは通暁するかあるいはどちらもである」ということは嘘であるならばあのダブルバッファリングは優先性であるということはない fact5: もし仮にとある物は優先性でないとすると「それは厭わしいかまたは徴収す」ということは間違っている fact6: もしもその救助工作車が優先性でないとすればあのダブルバッファリングは厭わしくて加えて賦す
fact6 & fact1 -> int1: あのダブルバッファリングは厭わしくて賦す; int1 -> int2: あのダブルバッファリングは厭わしい; int2 -> hypothesis;
「あのダブルバッファリングは厭わしいかあるいは徴収すかもしくは両方ともだ」ということは嘘だ
fact7 -> int3: 仮にあのダブルバッファリングは優先性でないとすると「それは厭わしいか徴収すかあるいは両方である」ということは成り立たない; fact9 -> int4: もし仮にその救助工作車はいとおしいならば「それは修養だということはないかもしくは通暁するかまたはどちらもである」ということは成り立たない; fact8 -> int5: その救助工作車が縫い込めばいとおしい;
$facts$ = fact1: その救助工作車は優先性でない fact2: ある物はいとおしいならば「それは修養でないかあるいは通暁するかもしくはどちらもだ」ということは正しくない fact3: もしもなんらかの物が縫い込めばいとおしい fact4: もし「その救助工作車は修養でないかもしくは通暁するかあるいはどちらもである」ということは嘘であるならばあのダブルバッファリングは優先性であるということはない fact5: もし仮にとある物は優先性でないとすると「それは厭わしいかまたは徴収す」ということは間違っている fact6: もしもその救助工作車が優先性でないとすればあのダブルバッファリングは厭わしくて加えて賦す ; $hypothesis$ = あのダブルバッファリングは厭わしいか徴収すかもしくは両方である ; $proof$ = 
fact6 & fact1 -> int1: あのダブルバッファリングは厭わしくて賦す; int1 -> int2: あのダブルバッファリングは厭わしい; int2 -> hypothesis; __PROVED__
事実1: その救助工作車は優先性でない
事実2: ある物はいとおしいならば「それは修養でないかあるいは通暁するかもしくはどちらもだ」ということは正しくない
事実3: もしもなんらかの物が縫い込めばいとおしい
事実4: もし「その救助工作車は修養でないかもしくは通暁するかあるいはどちらもである」ということは嘘であるならばあのダブルバッファリングは優先性であるということはない
事実5: もし仮にとある物は優先性でないとすると「それは厭わしいかまたは徴収す」ということは間違っている
事実6: もしもその救助工作車が優先性でないとすればあのダブルバッファリングは厭わしくて加えて賦す

仮説: あのダブルバッファリングは厭わしいか徴収すかもしくは両方である
1. 事実6と事実1から、推論1: "あのダブルバッファリングは厭わしくて賦す"が導かれる
2. 推論1から、推論2: "あのダブルバッファリングは厭わしい"が導かれる
3. 推論2から、仮説が導かれる

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