「その松原は会社関係だ」ということは成り立つ
fact1: あのひやり・ハット報告は入り切れば「あのシーア派は直売会員であるけれどそれは成し難くない」ということは本当だということはない fact2: もし仮にそのイタリア料理が成し難いならばその松原は成し難い fact3: そのイタリア料理は長陣でない fact4: 仮にあのシーア派は直売会員であるなら「この地震は会話らしくない」ということは成り立つ fact5: あのシーア派は直売会員であるかもしくは掛かり易くない fact6: もしその建具類等が掛かり易くないならばその松原は会社関係だ fact7: この地震が会話らしくないとしたらその建具類等は会話らしいかあるいは掛かり易くない fact8: もしも「「あのシーア派は直売会員でなくてしかも成し難いということはない」ということは確かだということはない」ということは事実ならこの地震は会話らしくない fact9: 「あのシーア派は直売会員であるが成し難くない」ということは嘘だ fact10: 「あのシーア派は毛深い」ということは嘘でない fact11: あのひやり・ハット報告が入り切るということはないとしたら会話らしい fact12: なにがしかの物は長陣でないとすれば「会社関係だしそれに掃除し易い」ということは誤りだ fact13: 「あのひやり・ハット報告は掃除し易くないしさらに入り切らない」ということは誤っている fact14: あのひやり・ハット報告は成し難くない fact15: もしも「その建具類等は会話らしい」ということは誤りでないとするとその松原は会社関係である fact16: もし仮に「何らかのものは会社関係であるし掃除し易い」ということは成り立つということはないとすると会社関係でない fact17: 仮にそのイタリア料理は長陣でないとしたら掃除し易い fact18: 会話らしくないものは成し難くて直売会員だ fact19: 成し難いものは入り切らないし加えて長陣でない fact20: 「「会話らしいししかも掛かり易いということはない」ということは偽である」物はある fact21: あのひやり・ハット報告は入り切るなら「あのシーア派は直売会員でなくてそれに成し難くない」ということは成り立つということはない fact22: 仮にそのイタリア料理が掃除し易いならあのひやり・ハット報告は入り切る
fact17 & fact3 -> int1: そのイタリア料理は掃除し易い; int1 & fact22 -> int2: あのひやり・ハット報告は入り切る; int2 & fact21 -> int3: 「あのシーア派は直売会員でなくて加えて成し難くない」ということは事実でない; int3 & fact8 -> int4: この地震は会話らしくない; int4 & fact7 -> int5: その建具類等は会話らしいかまたは掛かり易いということはないか両方ともである; int5 & fact15 & fact6 -> hypothesis;
その松原は会社関係だということはない
fact23 -> int6: 「その松原は会社関係だしさらに掃除し易い」ということは成り立たないならそれは会社関係でない; fact27 -> int7: もし仮にその松原は長陣だということはないなら「それは会社関係であるしその上掃除し易い」ということは誤りだ; fact24 -> int8: その松原が成し難いならば入り切らなくてまた長陣だということはない; fact25 -> int9: 仮にそのイタリア料理が会話らしくないとすると成し難いしその上直売会員だ;
$facts$ = fact1: あのひやり・ハット報告は入り切れば「あのシーア派は直売会員であるけれどそれは成し難くない」ということは本当だということはない fact2: もし仮にそのイタリア料理が成し難いならばその松原は成し難い fact3: そのイタリア料理は長陣でない fact4: 仮にあのシーア派は直売会員であるなら「この地震は会話らしくない」ということは成り立つ fact5: あのシーア派は直売会員であるかもしくは掛かり易くない fact6: もしその建具類等が掛かり易くないならばその松原は会社関係だ fact7: この地震が会話らしくないとしたらその建具類等は会話らしいかあるいは掛かり易くない fact8: もしも「「あのシーア派は直売会員でなくてしかも成し難いということはない」ということは確かだということはない」ということは事実ならこの地震は会話らしくない fact9: 「あのシーア派は直売会員であるが成し難くない」ということは嘘だ fact10: 「あのシーア派は毛深い」ということは嘘でない fact11: あのひやり・ハット報告が入り切るということはないとしたら会話らしい fact12: なにがしかの物は長陣でないとすれば「会社関係だしそれに掃除し易い」ということは誤りだ fact13: 「あのひやり・ハット報告は掃除し易くないしさらに入り切らない」ということは誤っている fact14: あのひやり・ハット報告は成し難くない fact15: もしも「その建具類等は会話らしい」ということは誤りでないとするとその松原は会社関係である fact16: もし仮に「何らかのものは会社関係であるし掃除し易い」ということは成り立つということはないとすると会社関係でない fact17: 仮にそのイタリア料理は長陣でないとしたら掃除し易い fact18: 会話らしくないものは成し難くて直売会員だ fact19: 成し難いものは入り切らないし加えて長陣でない fact20: 「「会話らしいししかも掛かり易いということはない」ということは偽である」物はある fact21: あのひやり・ハット報告は入り切るなら「あのシーア派は直売会員でなくてそれに成し難くない」ということは成り立つということはない fact22: 仮にそのイタリア料理が掃除し易いならあのひやり・ハット報告は入り切る ; $hypothesis$ = 「その松原は会社関係だ」ということは成り立つ ; $proof$ = 
fact17 & fact3 -> int1: そのイタリア料理は掃除し易い; int1 & fact22 -> int2: あのひやり・ハット報告は入り切る; int2 & fact21 -> int3: 「あのシーア派は直売会員でなくて加えて成し難くない」ということは事実でない; int3 & fact8 -> int4: この地震は会話らしくない; int4 & fact7 -> int5: その建具類等は会話らしいかまたは掛かり易いということはないか両方ともである; int5 & fact15 & fact6 -> hypothesis; __PROVED__
事実1: あのひやり・ハット報告は入り切れば「あのシーア派は直売会員であるけれどそれは成し難くない」ということは本当だということはない
事実2: もし仮にそのイタリア料理が成し難いならばその松原は成し難い
事実3: そのイタリア料理は長陣でない
事実4: 仮にあのシーア派は直売会員であるなら「この地震は会話らしくない」ということは成り立つ
事実5: あのシーア派は直売会員であるかもしくは掛かり易くない
事実6: もしその建具類等が掛かり易くないならばその松原は会社関係だ
事実7: この地震が会話らしくないとしたらその建具類等は会話らしいかあるいは掛かり易くない
事実8: もしも「「あのシーア派は直売会員でなくてしかも成し難いということはない」ということは確かだということはない」ということは事実ならこの地震は会話らしくない
事実9: 「あのシーア派は直売会員であるが成し難くない」ということは嘘だ
事実10: 「あのシーア派は毛深い」ということは嘘でない
事実11: あのひやり・ハット報告が入り切るということはないとしたら会話らしい
事実12: なにがしかの物は長陣でないとすれば「会社関係だしそれに掃除し易い」ということは誤りだ
事実13: 「あのひやり・ハット報告は掃除し易くないしさらに入り切らない」ということは誤っている
事実14: あのひやり・ハット報告は成し難くない
事実15: もしも「その建具類等は会話らしい」ということは誤りでないとするとその松原は会社関係である
事実16: もし仮に「何らかのものは会社関係であるし掃除し易い」ということは成り立つということはないとすると会社関係でない
事実17: 仮にそのイタリア料理は長陣でないとしたら掃除し易い
事実18: 会話らしくないものは成し難くて直売会員だ
事実19: 成し難いものは入り切らないし加えて長陣でない
事実20: 「「会話らしいししかも掛かり易いということはない」ということは偽である」物はある
事実21: あのひやり・ハット報告は入り切るなら「あのシーア派は直売会員でなくてそれに成し難くない」ということは成り立つということはない
事実22: 仮にそのイタリア料理が掃除し易いならあのひやり・ハット報告は入り切る

仮説: 「その松原は会社関係だ」ということは成り立つ
1. 事実17と事実3から、推論1: "そのイタリア料理は掃除し易い"が導かれる
2. 推論1と事実22から、推論2: "あのひやり・ハット報告は入り切る"が導かれる
3. 推論2と事実21から、推論3: "「あのシーア派は直売会員でなくて加えて成し難くない」ということは事実でない"が導かれる
4. 推論3と事実8から、推論4: "この地震は会話らしくない"が導かれる
5. 推論4と事実7から、推論5: "その建具類等は会話らしいかまたは掛かり易いということはないか両方ともである"が導かれる
6. 推論5と事実15と事実6から、仮説が導かれる

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