あの電話加入権は公調である
fact1: この真北は止めど無い fact2: 「ある物は焼け窶れない」ということは本当である fact3: ある物が零落しないならば座元で加えて清い fact4: この真北は止めど無くて拙い fact5: もしもあの電話加入権が拙くないとするとそれは止めど無くないしそれは公調でない fact6: その脱衣場は呆気ない fact7: 「その脱衣場は座元だ」ということは事実であるならば「その武科は悪感である」ということは成り立つ fact8: もし「なんらかの物は描き上げないけれど零一年度である」ということは偽であるとしたら「零一年度でない」ということは誤りでない fact9: 「手っ取り早くない」物はある fact10: 「なにがしかのものは止めど無くないがそれは拙い」ということは間違っていれば公調でない fact11: この被保険者等が呆気ないとすればその脱衣場は座元だ fact12: もし仮にその脱衣場が零一年度でないとすればこの被保険者等は悪感だ fact13: もしもその武科は悪感だとすると「あの電話加入権は公調だ」ということは事実と異ならない fact14: 仮に何かは呆気ないということはないけれど座元だとすればあの真北は止めど無い fact15: 仮に「その武科は脚本でなくてまたそれはわりなくない」ということは偽なら「脚本だ」ということは成り立つ fact16: もし「手っ取り早いということはない」物があるとしたらこの被保険者等は零落しない fact17: もし仮にあるものは悪感ならば「呆気なくない」ということは確かである fact18: 仮にこの真北は拙いとしたら「この被保険者等は呆気ない」ということは正しい fact19: もしその武科は脚本であるとすると「その脱衣場は描き上げるということはないけど零一年度だ」ということは誤りだ
fact4 -> int1: この真北は拙い; int1 & fact18 -> int2: この被保険者等は呆気ない; int2 & fact11 -> int3: その脱衣場は座元である; int3 & fact7 -> int4: その武科は悪感である; int4 & fact13 -> hypothesis;
あの電話加入権は公調でない
$facts$ = fact1: この真北は止めど無い fact2: 「ある物は焼け窶れない」ということは本当である fact3: ある物が零落しないならば座元で加えて清い fact4: この真北は止めど無くて拙い fact5: もしもあの電話加入権が拙くないとするとそれは止めど無くないしそれは公調でない fact6: その脱衣場は呆気ない fact7: 「その脱衣場は座元だ」ということは事実であるならば「その武科は悪感である」ということは成り立つ fact8: もし「なんらかの物は描き上げないけれど零一年度である」ということは偽であるとしたら「零一年度でない」ということは誤りでない fact9: 「手っ取り早くない」物はある fact10: 「なにがしかのものは止めど無くないがそれは拙い」ということは間違っていれば公調でない fact11: この被保険者等が呆気ないとすればその脱衣場は座元だ fact12: もし仮にその脱衣場が零一年度でないとすればこの被保険者等は悪感だ fact13: もしもその武科は悪感だとすると「あの電話加入権は公調だ」ということは事実と異ならない fact14: 仮に何かは呆気ないということはないけれど座元だとすればあの真北は止めど無い fact15: 仮に「その武科は脚本でなくてまたそれはわりなくない」ということは偽なら「脚本だ」ということは成り立つ fact16: もし「手っ取り早いということはない」物があるとしたらこの被保険者等は零落しない fact17: もし仮にあるものは悪感ならば「呆気なくない」ということは確かである fact18: 仮にこの真北は拙いとしたら「この被保険者等は呆気ない」ということは正しい fact19: もしその武科は脚本であるとすると「その脱衣場は描き上げるということはないけど零一年度だ」ということは誤りだ ; $hypothesis$ = あの電話加入権は公調である ; $proof$ = 
fact4 -> int1: この真北は拙い; int1 & fact18 -> int2: この被保険者等は呆気ない; int2 & fact11 -> int3: その脱衣場は座元である; int3 & fact7 -> int4: その武科は悪感である; int4 & fact13 -> hypothesis; __PROVED__
事実1: この真北は止めど無い
事実2: 「ある物は焼け窶れない」ということは本当である
事実3: ある物が零落しないならば座元で加えて清い
事実4: この真北は止めど無くて拙い
事実5: もしもあの電話加入権が拙くないとするとそれは止めど無くないしそれは公調でない
事実6: その脱衣場は呆気ない
事実7: 「その脱衣場は座元だ」ということは事実であるならば「その武科は悪感である」ということは成り立つ
事実8: もし「なんらかの物は描き上げないけれど零一年度である」ということは偽であるとしたら「零一年度でない」ということは誤りでない
事実9: 「手っ取り早くない」物はある
事実10: 「なにがしかのものは止めど無くないがそれは拙い」ということは間違っていれば公調でない
事実11: この被保険者等が呆気ないとすればその脱衣場は座元だ
事実12: もし仮にその脱衣場が零一年度でないとすればこの被保険者等は悪感だ
事実13: もしもその武科は悪感だとすると「あの電話加入権は公調だ」ということは事実と異ならない
事実14: 仮に何かは呆気ないということはないけれど座元だとすればあの真北は止めど無い
事実15: 仮に「その武科は脚本でなくてまたそれはわりなくない」ということは偽なら「脚本だ」ということは成り立つ
事実16: もし「手っ取り早いということはない」物があるとしたらこの被保険者等は零落しない
事実17: もし仮にあるものは悪感ならば「呆気なくない」ということは確かである
事実18: 仮にこの真北は拙いとしたら「この被保険者等は呆気ない」ということは正しい
事実19: もしその武科は脚本であるとすると「その脱衣場は描き上げるということはないけど零一年度だ」ということは誤りだ

仮説: あの電話加入権は公調である
1. 事実4から、推論1: "この真北は拙い"が導かれる
2. 推論1と事実18から、推論2: "この被保険者等は呆気ない"が導かれる
3. 推論2と事実11から、推論3: "その脱衣場は座元である"が導かれる
4. 推論3と事実7から、推論4: "その武科は悪感である"が導かれる
5. 推論4と事実13から、仮説が導かれる

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