その建築コストは得点である
fact1: その建築コストは見積もる fact2: 「その氷室想介カウンセリング・オフィスは上り易くない一方で得点である」ということは偽であるとすればそれは伝わり易くない fact3: もしもその建築コストが上り易くないか伝わり易くないかまたは両方だとしたらこの育児時間は幹道だ fact4: この萼が上り易いがしかし身分集団でないならそれは見積もる fact5: 就業形態は得点だ fact6: もしこの萼が身分集団だとすると上り易い fact7: もし仮に「この送り盆は伝わり易いし幹道だ」ということは事実と異なるとすると「この萼は幹道でない」ということは本当である fact8: その括弧内は見積もる fact9: あの露光は幼けないということはない fact10: もしなにがしかの物は石油輸送でないならば「それは表敬であるし身分集団だ」ということは真実だということはない fact11: この萼は身分集団だ fact12: もしも何かは幹道でないがしかしそれが見積もれば就業形態である fact13: この萼は就業形態でない fact14: もしこの萼が就業形態だがしかしそれが上り易くないとすればそれは得点である fact15: その同順位は堆積するがしかしそれは就業形態でない fact16: もし仮に「なにかは表敬であるしおまけに身分集団である」ということは成り立たないならばそれは上り易くない fact17: 「なにかは見積もるがしかしそれは幹道であるということはない」ということは間違いであるとするとそれは得点でない fact18: この萼が上り易いとすればあの建築コストは上り易い fact19: 仮にあの露光が滲炭するならこの送り盆は石油輸送でない fact20: もし仮になにかは上り易くないなら「就業形態であるしかつそれは伝わり易い」ということは正しくない fact21: もし仮にあの露光は幼けないということはないならば「滲炭するし更に当該事件である」ということは成り立つ fact22: 何らかのものは幹道であるとしたらそれは見積もる fact23: もしもその建築コストが見積もるかもしくは幹道であるとするとそれは伝わり易いということはない fact24: 仮になにがしかのものは身分集団でないとすると「それは上り易くないがしかし得点だ」ということは嘘だ fact25: もし仮にこの萼は伝わり易くないなら「「その建築コストは見積もるがしかしそれは幹道でない」ということは誤っている」ということは本当だ fact26: もし仮にその建築コストは上り易いけれど伝わり易くないなら「それは就業形態でない」ということは誤りである fact27: この作業能力は身分集団でない
fact1 -> int1: その建築コストは見積もるかまたはそれは幹道であるか両方ともである; int1 & fact23 -> int2: その建築コストは伝わり易くない; fact11 & fact6 -> int3: この萼は上り易い; int3 & fact18 -> int4: その建築コストは上り易い; int2 & int4 -> int5: その建築コストは上り易いがしかし伝わり易くない; int5 & fact26 -> int6: その建築コストは就業形態だ; fact5 -> int7: もしもその建築コストは就業形態だとすると「それは得点だ」ということは成り立つ; int6 & int7 -> hypothesis;
その建築コストは得点でない
$facts$ = fact1: その建築コストは見積もる fact2: 「その氷室想介カウンセリング・オフィスは上り易くない一方で得点である」ということは偽であるとすればそれは伝わり易くない fact3: もしもその建築コストが上り易くないか伝わり易くないかまたは両方だとしたらこの育児時間は幹道だ fact4: この萼が上り易いがしかし身分集団でないならそれは見積もる fact5: 就業形態は得点だ fact6: もしこの萼が身分集団だとすると上り易い fact7: もし仮に「この送り盆は伝わり易いし幹道だ」ということは事実と異なるとすると「この萼は幹道でない」ということは本当である fact8: その括弧内は見積もる fact9: あの露光は幼けないということはない fact10: もしなにがしかの物は石油輸送でないならば「それは表敬であるし身分集団だ」ということは真実だということはない fact11: この萼は身分集団だ fact12: もしも何かは幹道でないがしかしそれが見積もれば就業形態である fact13: この萼は就業形態でない fact14: もしこの萼が就業形態だがしかしそれが上り易くないとすればそれは得点である fact15: その同順位は堆積するがしかしそれは就業形態でない fact16: もし仮に「なにかは表敬であるしおまけに身分集団である」ということは成り立たないならばそれは上り易くない fact17: 「なにかは見積もるがしかしそれは幹道であるということはない」ということは間違いであるとするとそれは得点でない fact18: この萼が上り易いとすればあの建築コストは上り易い fact19: 仮にあの露光が滲炭するならこの送り盆は石油輸送でない fact20: もし仮になにかは上り易くないなら「就業形態であるしかつそれは伝わり易い」ということは正しくない fact21: もし仮にあの露光は幼けないということはないならば「滲炭するし更に当該事件である」ということは成り立つ fact22: 何らかのものは幹道であるとしたらそれは見積もる fact23: もしもその建築コストが見積もるかもしくは幹道であるとするとそれは伝わり易いということはない fact24: 仮になにがしかのものは身分集団でないとすると「それは上り易くないがしかし得点だ」ということは嘘だ fact25: もし仮にこの萼は伝わり易くないなら「「その建築コストは見積もるがしかしそれは幹道でない」ということは誤っている」ということは本当だ fact26: もし仮にその建築コストは上り易いけれど伝わり易くないなら「それは就業形態でない」ということは誤りである fact27: この作業能力は身分集団でない ; $hypothesis$ = その建築コストは得点である ; $proof$ = 
fact1 -> int1: その建築コストは見積もるかまたはそれは幹道であるか両方ともである; int1 & fact23 -> int2: その建築コストは伝わり易くない; fact11 & fact6 -> int3: この萼は上り易い; int3 & fact18 -> int4: その建築コストは上り易い; int2 & int4 -> int5: その建築コストは上り易いがしかし伝わり易くない; int5 & fact26 -> int6: その建築コストは就業形態だ; fact5 -> int7: もしもその建築コストは就業形態だとすると「それは得点だ」ということは成り立つ; int6 & int7 -> hypothesis; __PROVED__
事実1: その建築コストは見積もる
事実2: 「その氷室想介カウンセリング・オフィスは上り易くない一方で得点である」ということは偽であるとすればそれは伝わり易くない
事実3: もしもその建築コストが上り易くないか伝わり易くないかまたは両方だとしたらこの育児時間は幹道だ
事実4: この萼が上り易いがしかし身分集団でないならそれは見積もる
事実5: 就業形態は得点だ
事実6: もしこの萼が身分集団だとすると上り易い
事実7: もし仮に「この送り盆は伝わり易いし幹道だ」ということは事実と異なるとすると「この萼は幹道でない」ということは本当である
事実8: その括弧内は見積もる
事実9: あの露光は幼けないということはない
事実10: もしなにがしかの物は石油輸送でないならば「それは表敬であるし身分集団だ」ということは真実だということはない
事実11: この萼は身分集団だ
事実12: もしも何かは幹道でないがしかしそれが見積もれば就業形態である
事実13: この萼は就業形態でない
事実14: もしこの萼が就業形態だがしかしそれが上り易くないとすればそれは得点である
事実15: その同順位は堆積するがしかしそれは就業形態でない
事実16: もし仮に「なにかは表敬であるしおまけに身分集団である」ということは成り立たないならばそれは上り易くない
事実17: 「なにかは見積もるがしかしそれは幹道であるということはない」ということは間違いであるとするとそれは得点でない
事実18: この萼が上り易いとすればあの建築コストは上り易い
事実19: 仮にあの露光が滲炭するならこの送り盆は石油輸送でない
事実20: もし仮になにかは上り易くないなら「就業形態であるしかつそれは伝わり易い」ということは正しくない
事実21: もし仮にあの露光は幼けないということはないならば「滲炭するし更に当該事件である」ということは成り立つ
事実22: 何らかのものは幹道であるとしたらそれは見積もる
事実23: もしもその建築コストが見積もるかもしくは幹道であるとするとそれは伝わり易いということはない
事実24: 仮になにがしかのものは身分集団でないとすると「それは上り易くないがしかし得点だ」ということは嘘だ
事実25: もし仮にこの萼は伝わり易くないなら「「その建築コストは見積もるがしかしそれは幹道でない」ということは誤っている」ということは本当だ
事実26: もし仮にその建築コストは上り易いけれど伝わり易くないなら「それは就業形態でない」ということは誤りである
事実27: この作業能力は身分集団でない

仮説: その建築コストは得点である
1. 事実1から、推論1: "その建築コストは見積もるかまたはそれは幹道であるか両方ともである"が導かれる
2. 推論1と事実23から、推論2: "その建築コストは伝わり易くない"が導かれる
3. 事実11と事実6から、推論3: "この萼は上り易い"が導かれる
4. 推論3と事実18から、推論4: "その建築コストは上り易い"が導かれる
5. 推論2と推論4から、推論5: "その建築コストは上り易いがしかし伝わり易くない"が導かれる
6. 推論5と事実26から、推論6: "その建築コストは就業形態だ"が導かれる
7. 事実5から、推論7: "もしもその建築コストは就業形態だとすると「それは得点だ」ということは成り立つ"が導かれる
8. 推論6と推論7から、仮説が導かれる

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