あの部課長クラスは拭い去るということはない
fact1: 仮に急性発作が襲名しないならばこの寄進は取り違えない fact2: もし「何らかの物は照れ臭くない一方で小身である」ということは偽ならそれは湛える fact3: 「この寄進は照れ臭いけど取り違えない」ということは誤っている fact4: その貯蔵槽は取り違える fact5: この寄進は拭い去らない fact6: とある物は急性発作だ一方で襲名しない fact7: 「なにかは取り違えるが弛み無くない」ということは成り立たないとすればそれは照れ臭くない fact8: もしその貯蔵槽が湛えるとしたらあの部課長クラスは拭い去らない fact9: 「この寄進は取り違えない」ということは事実であるならば「この第一象限は取り違える一方で弛み無くない」ということは正しくない fact10: もしこの第一象限は照れ臭いということはないとすれば「その貯蔵槽は照れ臭いということはないけれど小身だ」ということは間違っている
fact6 & fact1 -> int1: この寄進は取り違えない; int1 & fact9 -> int2: 「この第一象限は取り違えるけどそれは弛み無くない」ということは成り立つということはない; fact7 -> int3: もし仮に「この第一象限は取り違えるけど弛み無いということはない」ということは成り立たないならば照れ臭いということはない; int2 & int3 -> int4: この第一象限は照れ臭くない; int4 & fact10 -> int5: 「その貯蔵槽は照れ臭くない一方で小身だ」ということは誤りだ; fact2 -> int6: もしも「その貯蔵槽は照れ臭くないけれどそれは小身である」ということは成り立たないとしたら「それは湛える」ということは事実である; int5 & int6 -> int7: その貯蔵槽は湛える; int7 & fact8 -> hypothesis;
$facts$ = fact1: 仮に急性発作が襲名しないならばこの寄進は取り違えない fact2: もし「何らかの物は照れ臭くない一方で小身である」ということは偽ならそれは湛える fact3: 「この寄進は照れ臭いけど取り違えない」ということは誤っている fact4: その貯蔵槽は取り違える fact5: この寄進は拭い去らない fact6: とある物は急性発作だ一方で襲名しない fact7: 「なにかは取り違えるが弛み無くない」ということは成り立たないとすればそれは照れ臭くない fact8: もしその貯蔵槽が湛えるとしたらあの部課長クラスは拭い去らない fact9: 「この寄進は取り違えない」ということは事実であるならば「この第一象限は取り違える一方で弛み無くない」ということは正しくない fact10: もしこの第一象限は照れ臭いということはないとすれば「その貯蔵槽は照れ臭いということはないけれど小身だ」ということは間違っている ; $hypothesis$ = あの部課長クラスは拭い去るということはない ; $proof$ = 
fact6 & fact1 -> int1: この寄進は取り違えない; int1 & fact9 -> int2: 「この第一象限は取り違えるけどそれは弛み無くない」ということは成り立つということはない; fact7 -> int3: もし仮に「この第一象限は取り違えるけど弛み無いということはない」ということは成り立たないならば照れ臭いということはない; int2 & int3 -> int4: この第一象限は照れ臭くない; int4 & fact10 -> int5: 「その貯蔵槽は照れ臭くない一方で小身だ」ということは誤りだ; fact2 -> int6: もしも「その貯蔵槽は照れ臭くないけれどそれは小身である」ということは成り立たないとしたら「それは湛える」ということは事実である; int5 & int6 -> int7: その貯蔵槽は湛える; int7 & fact8 -> hypothesis; __PROVED__
事実1: 仮に急性発作が襲名しないならばこの寄進は取り違えない
事実2: もし「何らかの物は照れ臭くない一方で小身である」ということは偽ならそれは湛える
事実3: 「この寄進は照れ臭いけど取り違えない」ということは誤っている
事実4: その貯蔵槽は取り違える
事実5: この寄進は拭い去らない
事実6: とある物は急性発作だ一方で襲名しない
事実7: 「なにかは取り違えるが弛み無くない」ということは成り立たないとすればそれは照れ臭くない
事実8: もしその貯蔵槽が湛えるとしたらあの部課長クラスは拭い去らない
事実9: 「この寄進は取り違えない」ということは事実であるならば「この第一象限は取り違える一方で弛み無くない」ということは正しくない
事実10: もしこの第一象限は照れ臭いということはないとすれば「その貯蔵槽は照れ臭いということはないけれど小身だ」ということは間違っている

仮説: あの部課長クラスは拭い去るということはない
1. 事実6と事実1から、推論1: "この寄進は取り違えない"が導かれる
2. 推論1と事実9から、推論2: "「この第一象限は取り違えるけどそれは弛み無くない」ということは成り立つということはない"が導かれる
3. 事実7から、推論3: "もし仮に「この第一象限は取り違えるけど弛み無いということはない」ということは成り立たないならば照れ臭いということはない"が導かれる
4. 推論2と推論3から、推論4: "この第一象限は照れ臭くない"が導かれる
5. 推論4と事実10から、推論5: "「その貯蔵槽は照れ臭くない一方で小身だ」ということは誤りだ"が導かれる
6. 事実2から、推論6: "もしも「その貯蔵槽は照れ臭くないけれどそれは小身である」ということは成り立たないとしたら「それは湛える」ということは事実である"が導かれる
7. 推論5と推論6から、推論7: "その貯蔵槽は湛える"が導かれる
8. 推論7と事実8から、仮説が導かれる

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