このυツーは変わり易くなくて更に衛星間でない
fact1: もしこのυツーは衛星間であるということはないとすると「その技研は衛星間でないしその上それは快苦でない」ということは事実でない fact2: もし仮にその技研は変わり易いということはないならば「このυツーは変わり易いということはないがそれは衛星間である」ということは真実であるということはない fact3: 仮にその技研は衛星間でないとすれば「このυツーは衛星間でないが解析結果だ」ということは成り立たない fact4: その技研が快苦だとするとそれは変わり易くない fact5: 仮に「その技研は解析結果だということはないしそれは快苦でない」ということは成り立たないなら変わり易いということはない fact6: この両概念は電子工作だということはないけれど保存食だ fact7: 「その技研は解析結果でないけれど快苦である」ということは成り立たない fact8: もしもとあるものが慣れないとすると八日号で信仰しない fact9: 「その技研は変わり易いということはない」ということは確かであるならば「このυツーは変わり易いということはないし衛星間だということはない」ということは成り立たない fact10: 「このυツーは解析結果であるということはないが変わり易い」ということは本当でない fact11: 「その技研は解析結果でないしかつ快苦でない」ということは嘘である fact12: 全ては慣れるということはない fact13: もし何らかのものが信仰しないとすれば女らしいかもしくは慣れるということはないか両方ともだ fact14: 女らしいものは変わり易くない fact15: 何かは衛星間でないとすると「稼げなくて更に快苦でない」ということは間違いだ fact16: もし仮にこの両概念が電子工作であるということはないがしかしそれが保存食であるならばその馬主は信仰しない
fact5 & fact11 -> int1: 「その技研は変わり易いということはない」ということは成り立つ; int1 & fact9 -> hypothesis;
このυツーは変わり易くなくてかつ衛星間でない
fact18 -> int2: もしこのυツーが女らしいとすればそれは変わり易いということはない; fact17 -> int3: 仮にその馬主が信仰しないならばそれは女らしいかまたは慣れるということはないかまたは両方だ; fact20 & fact19 -> int4: その馬主は信仰しない; int3 & int4 -> int5: その馬主は女らしいか慣れないかどちらもである;
$facts$ = fact1: もしこのυツーは衛星間であるということはないとすると「その技研は衛星間でないしその上それは快苦でない」ということは事実でない fact2: もし仮にその技研は変わり易いということはないならば「このυツーは変わり易いということはないがそれは衛星間である」ということは真実であるということはない fact3: 仮にその技研は衛星間でないとすれば「このυツーは衛星間でないが解析結果だ」ということは成り立たない fact4: その技研が快苦だとするとそれは変わり易くない fact5: 仮に「その技研は解析結果だということはないしそれは快苦でない」ということは成り立たないなら変わり易いということはない fact6: この両概念は電子工作だということはないけれど保存食だ fact7: 「その技研は解析結果でないけれど快苦である」ということは成り立たない fact8: もしもとあるものが慣れないとすると八日号で信仰しない fact9: 「その技研は変わり易いということはない」ということは確かであるならば「このυツーは変わり易いということはないし衛星間だということはない」ということは成り立たない fact10: 「このυツーは解析結果であるということはないが変わり易い」ということは本当でない fact11: 「その技研は解析結果でないしかつ快苦でない」ということは嘘である fact12: 全ては慣れるということはない fact13: もし何らかのものが信仰しないとすれば女らしいかもしくは慣れるということはないか両方ともだ fact14: 女らしいものは変わり易くない fact15: 何かは衛星間でないとすると「稼げなくて更に快苦でない」ということは間違いだ fact16: もし仮にこの両概念が電子工作であるということはないがしかしそれが保存食であるならばその馬主は信仰しない ; $hypothesis$ = このυツーは変わり易くなくて更に衛星間でない ; $proof$ = 
fact5 & fact11 -> int1: 「その技研は変わり易いということはない」ということは成り立つ; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: もしこのυツーは衛星間であるということはないとすると「その技研は衛星間でないしその上それは快苦でない」ということは事実でない
事実2: もし仮にその技研は変わり易いということはないならば「このυツーは変わり易いということはないがそれは衛星間である」ということは真実であるということはない
事実3: 仮にその技研は衛星間でないとすれば「このυツーは衛星間でないが解析結果だ」ということは成り立たない
事実4: その技研が快苦だとするとそれは変わり易くない
事実5: 仮に「その技研は解析結果だということはないしそれは快苦でない」ということは成り立たないなら変わり易いということはない
事実6: この両概念は電子工作だということはないけれど保存食だ
事実7: 「その技研は解析結果でないけれど快苦である」ということは成り立たない
事実8: もしもとあるものが慣れないとすると八日号で信仰しない
事実9: 「その技研は変わり易いということはない」ということは確かであるならば「このυツーは変わり易いということはないし衛星間だということはない」ということは成り立たない
事実10: 「このυツーは解析結果であるということはないが変わり易い」ということは本当でない
事実11: 「その技研は解析結果でないしかつ快苦でない」ということは嘘である
事実12: 全ては慣れるということはない
事実13: もし何らかのものが信仰しないとすれば女らしいかもしくは慣れるということはないか両方ともだ
事実14: 女らしいものは変わり易くない
事実15: 何かは衛星間でないとすると「稼げなくて更に快苦でない」ということは間違いだ
事実16: もし仮にこの両概念が電子工作であるということはないがしかしそれが保存食であるならばその馬主は信仰しない

仮説: このυツーは変わり易くなくて更に衛星間でない
1. 事実5と事実11から、推論1: "「その技研は変わり易いということはない」ということは成り立つ"が導かれる
2. 推論1と事実9から、仮説が否定される

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