「あの欧州航路は広くない」ということは成り立つ
fact1: あの欧州航路は厚生年金基金制度でない fact2: もし仮になんらかのものが刮げ取らないとすればそれは広くない fact3: もし仮にとある物は周辺組織であるということはないならば「吊り下がるしそれに刮げ取らない」ということは成り立たない fact4: 仮にこの曙会は浮浪車でないし威張り散らさないとしたらそれは喜ばしい fact5: なんらかのものは付き纏う fact6: もしあの欧州航路が刮げ取らないとすると広くない fact7: もし仮にこの曙会は喜ばしいとすると「あのＨ医師は開業出来るがしかし状態維持しない」ということは事実と異なる fact8: なんらかの物が開業出来ればそれは広いかまたは周辺組織であるということはない fact9: 仮に「あの各部位は広いけど付き纏わない」ということは偽であるとするとあの欧州航路は広い fact10: 「なんらかの物は容易いししかも存在し続ける」ということは本当でないとするとそれは来易くない fact11: 「厚生年金基金制度でない」物はある fact12: 仮に「何らかの物は刮げ取るしおまけに吊り下がる」ということは成り立たないならば「広くない」ということは確かである fact13: もし仮に「とある物は吊り下がるが刮げ取らない」ということは事実と異なるとするとそれは刮げ取る fact14: 「逃れ難くない」物はある fact15: もしもその間接材料費は刮げ取るとすれば「あの各部位は広い一方で付き纏わない」ということは嘘である fact16: もし仮に何かは使い過ぎでないとすれば「この隔世は弛くて伴える」ということは成り立たない fact17: 「緑茶消費でない」物はある fact18: とあるものは付き纏わない fact19: 「付き纏うということはない」ものはあれば「あの欧州航路は刮げ取るし吊り下がる」ということは事実と異なる
fact18 & fact19 -> int1: 「あの欧州航路は刮げ取るししかも吊り下がる」ということは誤っている; fact12 -> int2: 仮に「「あの欧州航路は刮げ取るしそれにそれは吊り下がる」ということは成り立たない」ということは成り立つならそれは広くない; int1 & int2 -> hypothesis;
fact18 & fact19 -> int1: ¬({B}{a} & {C}{a}); fact12 -> int2: ¬({B}{a} & {C}{a}) -> ¬{D}{a}; int1 & int2 -> hypothesis;
「あの欧州航路は広い」ということは偽でない
fact25 -> int3: もし仮に「その間接材料費は吊り下がる一方で刮げ取らない」ということは誤っていれば刮げ取る; fact24 -> int4: その間接材料費は周辺組織だということはないとすると「吊り下がるけれど刮げ取るということはない」ということは誤っている;
$facts$ = fact1: あの欧州航路は厚生年金基金制度でない fact2: もし仮になんらかのものが刮げ取らないとすればそれは広くない fact3: もし仮にとある物は周辺組織であるということはないならば「吊り下がるしそれに刮げ取らない」ということは成り立たない fact4: 仮にこの曙会は浮浪車でないし威張り散らさないとしたらそれは喜ばしい fact5: なんらかのものは付き纏う fact6: もしあの欧州航路が刮げ取らないとすると広くない fact7: もし仮にこの曙会は喜ばしいとすると「あのＨ医師は開業出来るがしかし状態維持しない」ということは事実と異なる fact8: なんらかの物が開業出来ればそれは広いかまたは周辺組織であるということはない fact9: 仮に「あの各部位は広いけど付き纏わない」ということは偽であるとするとあの欧州航路は広い fact10: 「なんらかの物は容易いししかも存在し続ける」ということは本当でないとするとそれは来易くない fact11: 「厚生年金基金制度でない」物はある fact12: 仮に「何らかの物は刮げ取るしおまけに吊り下がる」ということは成り立たないならば「広くない」ということは確かである fact13: もし仮に「とある物は吊り下がるが刮げ取らない」ということは事実と異なるとするとそれは刮げ取る fact14: 「逃れ難くない」物はある fact15: もしもその間接材料費は刮げ取るとすれば「あの各部位は広い一方で付き纏わない」ということは嘘である fact16: もし仮に何かは使い過ぎでないとすれば「この隔世は弛くて伴える」ということは成り立たない fact17: 「緑茶消費でない」物はある fact18: とあるものは付き纏わない fact19: 「付き纏うということはない」ものはあれば「あの欧州航路は刮げ取るし吊り下がる」ということは事実と異なる ; $hypothesis$ = 「あの欧州航路は広くない」ということは成り立つ ; $proof$ = 
fact18 & fact19 -> int1: 「あの欧州航路は刮げ取るししかも吊り下がる」ということは誤っている; fact12 -> int2: 仮に「「あの欧州航路は刮げ取るしそれにそれは吊り下がる」ということは成り立たない」ということは成り立つならそれは広くない; int1 & int2 -> hypothesis; __PROVED__
事実1: あの欧州航路は厚生年金基金制度でない
事実2: もし仮になんらかのものが刮げ取らないとすればそれは広くない
事実3: もし仮にとある物は周辺組織であるということはないならば「吊り下がるしそれに刮げ取らない」ということは成り立たない
事実4: 仮にこの曙会は浮浪車でないし威張り散らさないとしたらそれは喜ばしい
事実5: なんらかのものは付き纏う
事実6: もしあの欧州航路が刮げ取らないとすると広くない
事実7: もし仮にこの曙会は喜ばしいとすると「あのＨ医師は開業出来るがしかし状態維持しない」ということは事実と異なる
事実8: なんらかの物が開業出来ればそれは広いかまたは周辺組織であるということはない
事実9: 仮に「あの各部位は広いけど付き纏わない」ということは偽であるとするとあの欧州航路は広い
事実10: 「なんらかの物は容易いししかも存在し続ける」ということは本当でないとするとそれは来易くない
事実11: 「厚生年金基金制度でない」物はある
事実12: 仮に「何らかの物は刮げ取るしおまけに吊り下がる」ということは成り立たないならば「広くない」ということは確かである
事実13: もし仮に「とある物は吊り下がるが刮げ取らない」ということは事実と異なるとするとそれは刮げ取る
事実14: 「逃れ難くない」物はある
事実15: もしもその間接材料費は刮げ取るとすれば「あの各部位は広い一方で付き纏わない」ということは嘘である
事実16: もし仮に何かは使い過ぎでないとすれば「この隔世は弛くて伴える」ということは成り立たない
事実17: 「緑茶消費でない」物はある
事実18: とあるものは付き纏わない
事実19: 「付き纏うということはない」ものはあれば「あの欧州航路は刮げ取るし吊り下がる」ということは事実と異なる

仮説: 「あの欧州航路は広くない」ということは成り立つ
1. 事実18と事実19から、推論1: "「あの欧州航路は刮げ取るししかも吊り下がる」ということは誤っている"が導かれる
2. 事実12から、推論2: "仮に「「あの欧州航路は刮げ取るしそれにそれは吊り下がる」ということは成り立たない」ということは成り立つならそれは広くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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