その隈取りは忙しないがしかし移り住まない
fact1: もしも「甲飛であるかあるいは噴門腺であるかあるいは両方である」物があるとしたらそのオーダリングシステムは移り住まない fact2: 「その隈取りは忙しないししかも移り住む」ということは成り立たない fact3: 何らかのものは甲飛であるならばそれは忙しないけど移り住まない fact4: そのオーダリングシステムは移り住まないとすれば「その隈取りは忙しないけれど移り住まない」ということは嘘である fact5: 何かは甲飛であるとしたらそれは成り易い fact6: もし仮に何らかのものは噴門腺であるならば甲飛だ fact7: この双反射鏡アンテナは甲飛である
fact7 -> int1: この双反射鏡アンテナは甲飛であるか噴門腺である; int1 -> int2: なにがしかのものは甲飛であるかもしくは噴門腺であるか両方ともである; int2 & fact1 -> int3: そのオーダリングシステムは移り住まない; int3 & fact4 -> hypothesis;
その隈取りは忙しない一方で移り住まない
fact9 -> int4: もしその隈取りは甲飛であるならばそれは忙しないけど移り住むということはない; fact8 -> int5: もし仮にその隈取りが噴門腺なら甲飛である;
$facts$ = fact1: もしも「甲飛であるかあるいは噴門腺であるかあるいは両方である」物があるとしたらそのオーダリングシステムは移り住まない fact2: 「その隈取りは忙しないししかも移り住む」ということは成り立たない fact3: 何らかのものは甲飛であるならばそれは忙しないけど移り住まない fact4: そのオーダリングシステムは移り住まないとすれば「その隈取りは忙しないけれど移り住まない」ということは嘘である fact5: 何かは甲飛であるとしたらそれは成り易い fact6: もし仮に何らかのものは噴門腺であるならば甲飛だ fact7: この双反射鏡アンテナは甲飛である ; $hypothesis$ = その隈取りは忙しないがしかし移り住まない ; $proof$ = 
fact7 -> int1: この双反射鏡アンテナは甲飛であるか噴門腺である; int1 -> int2: なにがしかのものは甲飛であるかもしくは噴門腺であるか両方ともである; int2 & fact1 -> int3: そのオーダリングシステムは移り住まない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: もしも「甲飛であるかあるいは噴門腺であるかあるいは両方である」物があるとしたらそのオーダリングシステムは移り住まない
事実2: 「その隈取りは忙しないししかも移り住む」ということは成り立たない
事実3: 何らかのものは甲飛であるならばそれは忙しないけど移り住まない
事実4: そのオーダリングシステムは移り住まないとすれば「その隈取りは忙しないけれど移り住まない」ということは嘘である
事実5: 何かは甲飛であるとしたらそれは成り易い
事実6: もし仮に何らかのものは噴門腺であるならば甲飛だ
事実7: この双反射鏡アンテナは甲飛である

仮説: その隈取りは忙しないがしかし移り住まない
1. 事実7から、推論1: "この双反射鏡アンテナは甲飛であるか噴門腺である"が導かれる
2. 推論1から、推論2: "なにがしかのものは甲飛であるかもしくは噴門腺であるか両方ともである"が導かれる
3. 推論2と事実1から、推論3: "そのオーダリングシステムは移り住まない"が導かれる
4. 推論3と事実4から、仮説が否定される

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