「このミリメートルは取り落とすということはなくてまた授かるということはない」ということは間違いである
fact1: 仮にある物は外化しないとすると「あの名目金貸し付けは水洗いするがポリ容器でない」ということは正しくない fact2: 「水洗いするしその上ポリ容器でない」物はある fact3: もしもあの名目金貸し付けは外化するとしたら「このミリメートルは取り落とさないし授からない」ということは成り立たない fact4: もしも何かは外化するなら女性らしくないかもしくは水洗いするかまたは両方である fact5: 「授かるということはないか地方史研究である」物があるならばあのミリメートルは授からない fact6: 何らかの物は外化しない fact7: 仮にこのミリメートルがホバリングしないとするとそれは取り落とさない fact8: その段差は地方史研究だ fact9: 仮に「「水洗いするがポリ容器であるということはない」ということは成り立つということはない」物があるとするとこのミリメートルはホバリングするということはない
fact6 & fact1 -> int1: 「あの名目金貸し付けは水洗いする一方でポリ容器でない」ということは嘘である; int1 -> int2: 「「水洗いするししかもポリ容器でない」ということは誤っている」ものはある; int2 & fact9 -> int3: 「このミリメートルはホバリングしない」ということは成り立つ; int3 & fact7 -> int4: このミリメートルは取り落とさない; fact8 -> int5: その段差は授からないかそれは地方史研究であるかまたは両方ともである; int5 -> int6: 「授かるということはないかもしくは地方史研究であるかまたは両方な」ものはある; fact5 & int6 -> int7: このミリメートルは授からない; int4 & int7 -> hypothesis;
あの三党は女性らしくないかそれは水洗いするかまたは両方ともだ
fact10 -> int8: もしも「あの三党は外化する」ということは本当ならば女性らしくないか水洗いする;
$facts$ = fact1: 仮にある物は外化しないとすると「あの名目金貸し付けは水洗いするがポリ容器でない」ということは正しくない fact2: 「水洗いするしその上ポリ容器でない」物はある fact3: もしもあの名目金貸し付けは外化するとしたら「このミリメートルは取り落とさないし授からない」ということは成り立たない fact4: もしも何かは外化するなら女性らしくないかもしくは水洗いするかまたは両方である fact5: 「授かるということはないか地方史研究である」物があるならばあのミリメートルは授からない fact6: 何らかの物は外化しない fact7: 仮にこのミリメートルがホバリングしないとするとそれは取り落とさない fact8: その段差は地方史研究だ fact9: 仮に「「水洗いするがポリ容器であるということはない」ということは成り立つということはない」物があるとするとこのミリメートルはホバリングするということはない ; $hypothesis$ = 「このミリメートルは取り落とすということはなくてまた授かるということはない」ということは間違いである ; $proof$ = 
fact6 & fact1 -> int1: 「あの名目金貸し付けは水洗いする一方でポリ容器でない」ということは嘘である; int1 -> int2: 「「水洗いするししかもポリ容器でない」ということは誤っている」ものはある; int2 & fact9 -> int3: 「このミリメートルはホバリングしない」ということは成り立つ; int3 & fact7 -> int4: このミリメートルは取り落とさない; fact8 -> int5: その段差は授からないかそれは地方史研究であるかまたは両方ともである; int5 -> int6: 「授かるということはないかもしくは地方史研究であるかまたは両方な」ものはある; fact5 & int6 -> int7: このミリメートルは授からない; int4 & int7 -> hypothesis; __DISPROVED__
事実1: 仮にある物は外化しないとすると「あの名目金貸し付けは水洗いするがポリ容器でない」ということは正しくない
事実2: 「水洗いするしその上ポリ容器でない」物はある
事実3: もしもあの名目金貸し付けは外化するとしたら「このミリメートルは取り落とさないし授からない」ということは成り立たない
事実4: もしも何かは外化するなら女性らしくないかもしくは水洗いするかまたは両方である
事実5: 「授かるということはないか地方史研究である」物があるならばあのミリメートルは授からない
事実6: 何らかの物は外化しない
事実7: 仮にこのミリメートルがホバリングしないとするとそれは取り落とさない
事実8: その段差は地方史研究だ
事実9: 仮に「「水洗いするがポリ容器であるということはない」ということは成り立つということはない」物があるとするとこのミリメートルはホバリングするということはない

仮説: 「このミリメートルは取り落とすということはなくてまた授かるということはない」ということは間違いである
1. 事実6と事実1から、推論1: "「あの名目金貸し付けは水洗いする一方でポリ容器でない」ということは嘘である"が導かれる
2. 推論1から、推論2: "「「水洗いするししかもポリ容器でない」ということは誤っている」ものはある"が導かれる
3. 推論2と事実9から、推論3: "「このミリメートルはホバリングしない」ということは成り立つ"が導かれる
4. 推論3と事実7から、推論4: "このミリメートルは取り落とさない"が導かれる
5. 事実8から、推論5: "その段差は授からないかそれは地方史研究であるかまたは両方ともである"が導かれる
6. 推論5から、推論6: "「授かるということはないかもしくは地方史研究であるかまたは両方な」ものはある"が導かれる
7. 事実5と推論6から、推論7: "このミリメートルは授からない"が導かれる
8. 推論4と推論7から、仮説が否定される

よって、仮説が否定されました。