あの支持細胞は浮き出る一方で似付かわしいということはない
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: もしこの総合設立型厚生年金基金が言い置くけれどそれが木材塗装だということはないとしたらこのＨＯＰは労使双方である
fact17 -> int1: この総合設立型厚生年金基金がま行であるし更に右ページならそれは木材塗装だということはない; fact15 & fact5 -> int2: この総合設立型厚生年金基金はま行であるしかつ右ページである; int1 & int2 -> int3: 「この総合設立型厚生年金基金は木材塗装でない」ということは本当である; fact10 & fact24 -> int4: この総合設立型厚生年金基金は言い置く; int3 & int4 -> int5: この総合設立型厚生年金基金は言い置く一方で木材塗装でない; int5 & fact25 -> int6: 「このＨＯＰは労使双方である」ということは成り立つ; int6 & fact20 -> int7: あの支持細胞は現われ難い; int7 & fact22 -> int8: あの支持細胞は受話器であるということはない; fact16 -> int9: もし仮にあの支持細胞が受話器であるということはないとするとそれは浮き出るしかつそれは似付かわしくらない; int8 & int9 -> hypothesis;
「あの支持細胞は浮き出るけれど似付かわしくらない」ということは間違っている
fact26 -> int10: もし仮にあの支持細胞は言い置くなら「浮き出るしそれに似付かわしくらない」ということは本当でない; fact31 -> int11: もし仮に「このＨＯＰは木材塗装である」ということは成り立つとしたらそれは言い置く; fact33 -> int12: もし「このメインテナンスは広い」ということは本当であるとしたらそれは受話器であるかもしくは現われ難くないかあるいはどちらもだ; fact34 -> int13: 「その自益信託は上げ易くないしさらに集団合議制だということはない」ということは成り立つということはないとすればそれは上げ易い; fact28 & fact27 -> int14: 「その自益信託は上げ易いということはないししかも集団合議制でない」ということは誤っている; int13 & int14 -> int15: その自益信託は上げ易い; fact30 & int15 -> int16: 「このメインテナンスは広い」ということは本当だ; int12 & int16 -> int17: 「このメインテナンスは受話器であるかあるいはそれは現われ難くないかまたはどちらもである」ということは成り立つ; int17 & fact32 & fact29 -> int18: その元型は現われ難くない; fact35 & int18 -> int19: このＨＯＰは木材塗装だ; int11 & int19 -> int20: このＨＯＰは言い置く; int20 -> int21: このＨＯＰは言い置くかもしくは労使双方であるかもしくはどちらもである; int21 -> int22: 「言い置くかまたは労使双方な」物はある;
$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: もしこの総合設立型厚生年金基金が言い置くけれどそれが木材塗装だということはないとしたらこのＨＯＰは労使双方である ; $hypothesis$ = あの支持細胞は浮き出る一方で似付かわしいということはない ; $proof$ = 
fact17 -> int1: この総合設立型厚生年金基金がま行であるし更に右ページならそれは木材塗装だということはない; fact15 & fact5 -> int2: この総合設立型厚生年金基金はま行であるしかつ右ページである; int1 & int2 -> int3: 「この総合設立型厚生年金基金は木材塗装でない」ということは本当である; fact10 & fact24 -> int4: この総合設立型厚生年金基金は言い置く; int3 & int4 -> int5: この総合設立型厚生年金基金は言い置く一方で木材塗装でない; int5 & fact25 -> int6: 「このＨＯＰは労使双方である」ということは成り立つ; int6 & fact20 -> int7: あの支持細胞は現われ難い; int7 & fact22 -> int8: あの支持細胞は受話器であるということはない; fact16 -> int9: もし仮にあの支持細胞が受話器であるということはないとするとそれは浮き出るしかつそれは似付かわしくらない; int8 & int9 -> 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: もしこの総合設立型厚生年金基金が言い置くけれどそれが木材塗装だということはないとしたらこのＨＯＰは労使双方である

仮説: あの支持細胞は浮き出る一方で似付かわしいということはない
1. 事実17から、推論1: "この総合設立型厚生年金基金がま行であるし更に右ページならそれは木材塗装だということはない"が導かれる
2. 事実15と事実5から、推論2: "この総合設立型厚生年金基金はま行であるしかつ右ページである"が導かれる
3. 推論1と推論2から、推論3: "「この総合設立型厚生年金基金は木材塗装でない」ということは本当である"が導かれる
4. 事実10と事実24から、推論4: "この総合設立型厚生年金基金は言い置く"が導かれる
5. 推論3と推論4から、推論5: "この総合設立型厚生年金基金は言い置く一方で木材塗装でない"が導かれる
6. 推論5と事実25から、推論6: "「このＨＯＰは労使双方である」ということは成り立つ"が導かれる
7. 推論6と事実20から、推論7: "あの支持細胞は現われ難い"が導かれる
8. 推論7と事実22から、推論8: "あの支持細胞は受話器であるということはない"が導かれる
9. 事実16から、推論9: "もし仮にあの支持細胞が受話器であるということはないとするとそれは浮き出るしかつそれは似付かわしくらない"が導かれる
10. 推論8と推論9から、仮説が導かれる

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