あの外郭は切り回すしその上生え易い
fact1: あの外郭は児戯であるしそれは割り当て等である fact2: もしとある物が切り回さないとすると探し易いしそれにそれは生え易い fact3: もし何らかのものは騒ぎ始めないとすれば「隙間無くないし巷である」ということは間違いである fact4: あの前橋刑務所は切り回す fact5: 「なにかは転地するがしかし比較し難くない」ということは誤りだとすれば騒ぎ始めない fact6: あの外郭は生え易い fact7: もし仮に「「あの外郭は域外適用規定であるしそれは切り回す」ということは本当である」ということは成り立たないならばそのネットワーク名は切り回さない fact8: もし仮になにかは月状骨でないかあるいは辛気臭いかまたは両方ともであるならば月状骨でない fact9: あの外郭は切り回す fact10: もし仮に何らかのものは月状骨でないなら「それは転地するけど比較し難くない」ということは成り立たない fact11: もしも「何らかのものは隙間無くないがそれは巷だ」ということは偽だとするとそれは貧乏臭くない fact12: とある物は貧乏臭くないとすれば「それは域外適用規定であるし更に切り回す」ということは成り立たない fact13: あの外郭は月状骨でないかまたは辛気臭いかどちらもである
fact9 & fact6 -> hypothesis;
fact9 & fact6 -> hypothesis;
そのネットワーク名は探し易いし加えて生え易い
fact14 -> int1: もしそのネットワーク名が切り回さないならそれは探し易いしまた生え易い; fact17 -> int2: もし仮にあの外郭は貧乏臭くないとしたら「域外適用規定であるし切り回す」ということは成り立たない; fact15 -> int3: もしも「あの外郭は隙間無くないけど巷である」ということは本当でないならそれは貧乏臭くない; fact19 -> int4: 仮にあの外郭は騒ぎ始めないとすると「隙間無くないし更に巷である」ということは成り立つということはない; fact18 -> int5: もし「あの外郭は転地するけれどそれは比較し難くない」ということは成り立たないならばそれは騒ぎ始めるということはない; fact22 -> int6: もしあの外郭は月状骨でないとしたら「「それは転地するがしかし比較し難くない」ということは成り立つ」ということは成り立たない; fact16 -> int7: あの外郭が月状骨でないかもしくはそれは辛気臭いかまたはどちらもであるならばそれは月状骨であるということはない; int7 & fact20 -> int8: あの外郭は月状骨でない; int6 & int8 -> int9: 「あの外郭は転地するけどそれは比較し難くない」ということは成り立たない; int5 & int9 -> int10: あの外郭は騒ぎ始めない; int4 & int10 -> int11: 「あの外郭は隙間無くないけれど巷である」ということは嘘である; int3 & int11 -> int12: あの外郭は貧乏臭いということはない; int2 & int12 -> int13: 「あの外郭は域外適用規定だし切り回す」ということは誤りである; fact21 & int13 -> int14: 「そのネットワーク名は切り回さない」ということは確かである; int1 & int14 -> hypothesis;
$facts$ = fact1: あの外郭は児戯であるしそれは割り当て等である fact2: もしとある物が切り回さないとすると探し易いしそれにそれは生え易い fact3: もし何らかのものは騒ぎ始めないとすれば「隙間無くないし巷である」ということは間違いである fact4: あの前橋刑務所は切り回す fact5: 「なにかは転地するがしかし比較し難くない」ということは誤りだとすれば騒ぎ始めない fact6: あの外郭は生え易い fact7: もし仮に「「あの外郭は域外適用規定であるしそれは切り回す」ということは本当である」ということは成り立たないならばそのネットワーク名は切り回さない fact8: もし仮になにかは月状骨でないかあるいは辛気臭いかまたは両方ともであるならば月状骨でない fact9: あの外郭は切り回す fact10: もし仮に何らかのものは月状骨でないなら「それは転地するけど比較し難くない」ということは成り立たない fact11: もしも「何らかのものは隙間無くないがそれは巷だ」ということは偽だとするとそれは貧乏臭くない fact12: とある物は貧乏臭くないとすれば「それは域外適用規定であるし更に切り回す」ということは成り立たない fact13: あの外郭は月状骨でないかまたは辛気臭いかどちらもである ; $hypothesis$ = あの外郭は切り回すしその上生え易い ; $proof$ = 
fact9 & fact6 -> hypothesis; __PROVED__
事実1: あの外郭は児戯であるしそれは割り当て等である
事実2: もしとある物が切り回さないとすると探し易いしそれにそれは生え易い
事実3: もし何らかのものは騒ぎ始めないとすれば「隙間無くないし巷である」ということは間違いである
事実4: あの前橋刑務所は切り回す
事実5: 「なにかは転地するがしかし比較し難くない」ということは誤りだとすれば騒ぎ始めない
事実6: あの外郭は生え易い
事実7: もし仮に「「あの外郭は域外適用規定であるしそれは切り回す」ということは本当である」ということは成り立たないならばそのネットワーク名は切り回さない
事実8: もし仮になにかは月状骨でないかあるいは辛気臭いかまたは両方ともであるならば月状骨でない
事実9: あの外郭は切り回す
事実10: もし仮に何らかのものは月状骨でないなら「それは転地するけど比較し難くない」ということは成り立たない
事実11: もしも「何らかのものは隙間無くないがそれは巷だ」ということは偽だとするとそれは貧乏臭くない
事実12: とある物は貧乏臭くないとすれば「それは域外適用規定であるし更に切り回す」ということは成り立たない
事実13: あの外郭は月状骨でないかまたは辛気臭いかどちらもである

仮説: あの外郭は切り回すしその上生え易い
1. 事実9と事実6から、仮説が導かれる

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