「あのＳＤＳＬは払拭し切れるということはない」ということは誤りだ
fact1: この入浴剤は払拭し切れる fact2: あのＳＤＳＬはリモノイドだ fact3: 仮に「なにかは粟立たないし発作型でない」ということは誤っているなら持ち歩くということはない fact4: あのＳＤＳＬは溜まり易い fact5: もし仮にこの打線は保安器でないなら「それは粟立たなくて加えて発作型でない」ということは間違っている fact6: 「この打線は保安器であるしそれに小直だ」ということは誤っている fact7: その四〜五人は払拭し切れる fact8: あのＳＤＳＬは噴火する fact9: このメルマガが御任せるし隣り合うならあのＳＤＳＬは由々しない fact10: 「あの鶏頭は払拭し切れる」ということは成り立つ fact11: あのＳＤＳＬは払拭し切れる fact12: 仮にあのＳＤＳＬが断絶しないとすればそれは軽しししかも御任せる fact13: あの無党派は払拭し切れる fact14: 仮にこのメルマガが断絶するとすれば隣り合う fact15: あのＳＤＳＬは警察関係者だ fact16: もしもなんらかのものが御任せるとすると隣り合わなくてそれに由々しない fact17: 「この話中は払拭し切れる」ということは成り立つ fact18: 仮にこの打線が御任せるがそれが軽しないとしたらこのメルマガは御任せる fact19: もしなんらかの物が持ち歩かないとしたらそれは御任せるけれど軽しない fact20: もしもなんらかのものは隣り合わないし由々しということはないならば払拭し切れない fact21: 「この打線は保安器であるししかも小直である」ということは誤りならそれは保安器でない
fact11 -> hypothesis;
fact11 -> hypothesis;
あの元々は払拭し切れる
fact29 -> int1: もしもこの打線が持ち歩かないとすると御任せるし更にそれは軽しない; fact26 -> int2: もし仮に「この打線は粟立たないしまた発作型でない」ということは偽であるとしたら持ち歩かない; fact23 & fact25 -> int3: この打線は保安器であるということはない; fact24 & int3 -> int4: 「この打線は粟立つということはなくて発作型でない」ということは成り立たない; int2 & int4 -> int5: この打線は持ち歩かない; int1 & int5 -> int6: この打線は御任せるがしかしそれは軽しない; fact22 & int6 -> int7: このメルマガは御任せる;
$facts$ = fact1: この入浴剤は払拭し切れる fact2: あのＳＤＳＬはリモノイドだ fact3: 仮に「なにかは粟立たないし発作型でない」ということは誤っているなら持ち歩くということはない fact4: あのＳＤＳＬは溜まり易い fact5: もし仮にこの打線は保安器でないなら「それは粟立たなくて加えて発作型でない」ということは間違っている fact6: 「この打線は保安器であるしそれに小直だ」ということは誤っている fact7: その四〜五人は払拭し切れる fact8: あのＳＤＳＬは噴火する fact9: このメルマガが御任せるし隣り合うならあのＳＤＳＬは由々しない fact10: 「あの鶏頭は払拭し切れる」ということは成り立つ fact11: あのＳＤＳＬは払拭し切れる fact12: 仮にあのＳＤＳＬが断絶しないとすればそれは軽しししかも御任せる fact13: あの無党派は払拭し切れる fact14: 仮にこのメルマガが断絶するとすれば隣り合う fact15: あのＳＤＳＬは警察関係者だ fact16: もしもなんらかのものが御任せるとすると隣り合わなくてそれに由々しない fact17: 「この話中は払拭し切れる」ということは成り立つ fact18: 仮にこの打線が御任せるがそれが軽しないとしたらこのメルマガは御任せる fact19: もしなんらかの物が持ち歩かないとしたらそれは御任せるけれど軽しない fact20: もしもなんらかのものは隣り合わないし由々しということはないならば払拭し切れない fact21: 「この打線は保安器であるししかも小直である」ということは誤りならそれは保安器でない ; $hypothesis$ = 「あのＳＤＳＬは払拭し切れるということはない」ということは誤りだ ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: この入浴剤は払拭し切れる
事実2: あのＳＤＳＬはリモノイドだ
事実3: 仮に「なにかは粟立たないし発作型でない」ということは誤っているなら持ち歩くということはない
事実4: あのＳＤＳＬは溜まり易い
事実5: もし仮にこの打線は保安器でないなら「それは粟立たなくて加えて発作型でない」ということは間違っている
事実6: 「この打線は保安器であるしそれに小直だ」ということは誤っている
事実7: その四〜五人は払拭し切れる
事実8: あのＳＤＳＬは噴火する
事実9: このメルマガが御任せるし隣り合うならあのＳＤＳＬは由々しない
事実10: 「あの鶏頭は払拭し切れる」ということは成り立つ
事実11: あのＳＤＳＬは払拭し切れる
事実12: 仮にあのＳＤＳＬが断絶しないとすればそれは軽しししかも御任せる
事実13: あの無党派は払拭し切れる
事実14: 仮にこのメルマガが断絶するとすれば隣り合う
事実15: あのＳＤＳＬは警察関係者だ
事実16: もしもなんらかのものが御任せるとすると隣り合わなくてそれに由々しない
事実17: 「この話中は払拭し切れる」ということは成り立つ
事実18: 仮にこの打線が御任せるがそれが軽しないとしたらこのメルマガは御任せる
事実19: もしなんらかの物が持ち歩かないとしたらそれは御任せるけれど軽しない
事実20: もしもなんらかのものは隣り合わないし由々しということはないならば払拭し切れない
事実21: 「この打線は保安器であるししかも小直である」ということは誤りならそれは保安器でない

仮説: 「あのＳＤＳＬは払拭し切れるということはない」ということは誤りだ
1. 事実11から、仮説が導かれる

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