その類別は話し易くない
fact1: 何らかのものは基本料金でないとすると「「それは硬化しないけど集まり易い」ということは事実だ」ということは確かでない fact2: もし「なにがしかの物は硬化しないがしかし集まり易い」ということは偽ならそれは集まり易くない fact3: その外科手術が憎たらしいしおまけに当て込むならこの出会い方は話し易くない fact4: その外科手術は当て込むしそれは三十万人都市機能である fact5: もし仮に「その外科手術は三十万人都市機能であるし荷下ろしする」ということは事実であるならばその類別は話し易くない fact6: もしこの出会い方が憎たらしくてまた三十万人都市機能であるならばそのスウェーデン語は荷下ろししない fact7: この各艦艇は基本料金である fact8: その外科手術は物寂しい fact9: 集まり易くないものは三十万人都市機能であるかあるいは当て込む fact10: その外科手術は当て込む fact11: その類別は三十万人都市機能だ fact12: この出会い方は憎たらしい fact13: もしもこの出会い方が憎たらしいとするとその外科手術は荷下ろしする fact14: 何らかのものは荷下ろしするが憎たらしくないならそれは話し易い fact15: この各艦艇が人懐こいししかも基本料金であるとするとその外科手術は基本料金でない fact16: この各艦艇は人懐こい一方で消し止めない fact17: 「「三十万人都市機能であるかあるいは話し易くないかあるいは両方である」ということは成り立たない」物はあるなら「その子供時代は荷下ろししない」ということは成り立つ fact18: もしもこの出会い方が三十万人都市機能だとすればその類別は荷下ろしするけれどそれは憎たらしくない
fact13 & fact12 -> int1: その外科手術は荷下ろしする; fact4 -> int2: その外科手術は三十万人都市機能だ; int1 & int2 -> int3: その外科手術は三十万人都市機能であるし更に荷下ろしする; int3 & fact5 -> hypothesis;
fact13 & fact12 -> int1: {B}{b}; fact4 -> int2: {C}{b}; int1 & int2 -> int3: ({C}{b} & {B}{b}); int3 & fact5 -> hypothesis;
その類別は話し易い
fact24 -> int4: 仮にその類別は荷下ろしするがしかし憎たらしくないとすれば話し易い; fact22 -> int5: もしその外科手術が集まり易くないとしたらそれは三十万人都市機能であるかあるいはそれは当て込むかもしくは両方である; fact20 -> int6: 「その外科手術は硬化しないけど集まり易い」ということは嘘であるならそれは集まり易くない; fact25 -> int7: その外科手術は基本料金でないとすれば「硬化するということはないけど集まり易い」ということは確かでない; fact19 -> int8: この各艦艇は人懐こい; int8 & fact26 -> int9: この各艦艇は人懐こいしそれに基本料金である; fact23 & int9 -> int10: その外科手術は基本料金でない; int7 & int10 -> int11: 「その外科手術は硬化するということはないけど集まり易い」ということは成り立つということはない; int6 & int11 -> int12: その外科手術は集まり易くない; int5 & int12 -> int13: その外科手術は三十万人都市機能であるかもしくは当て込むかあるいは両方である;
$facts$ = fact1: 何らかのものは基本料金でないとすると「「それは硬化しないけど集まり易い」ということは事実だ」ということは確かでない fact2: もし「なにがしかの物は硬化しないがしかし集まり易い」ということは偽ならそれは集まり易くない fact3: その外科手術が憎たらしいしおまけに当て込むならこの出会い方は話し易くない fact4: その外科手術は当て込むしそれは三十万人都市機能である fact5: もし仮に「その外科手術は三十万人都市機能であるし荷下ろしする」ということは事実であるならばその類別は話し易くない fact6: もしこの出会い方が憎たらしくてまた三十万人都市機能であるならばそのスウェーデン語は荷下ろししない fact7: この各艦艇は基本料金である fact8: その外科手術は物寂しい fact9: 集まり易くないものは三十万人都市機能であるかあるいは当て込む fact10: その外科手術は当て込む fact11: その類別は三十万人都市機能だ fact12: この出会い方は憎たらしい fact13: もしもこの出会い方が憎たらしいとするとその外科手術は荷下ろしする fact14: 何らかのものは荷下ろしするが憎たらしくないならそれは話し易い fact15: この各艦艇が人懐こいししかも基本料金であるとするとその外科手術は基本料金でない fact16: この各艦艇は人懐こい一方で消し止めない fact17: 「「三十万人都市機能であるかあるいは話し易くないかあるいは両方である」ということは成り立たない」物はあるなら「その子供時代は荷下ろししない」ということは成り立つ fact18: もしもこの出会い方が三十万人都市機能だとすればその類別は荷下ろしするけれどそれは憎たらしくない ; $hypothesis$ = その類別は話し易くない ; $proof$ = 
fact13 & fact12 -> int1: その外科手術は荷下ろしする; fact4 -> int2: その外科手術は三十万人都市機能だ; int1 & int2 -> int3: その外科手術は三十万人都市機能であるし更に荷下ろしする; int3 & fact5 -> hypothesis; __PROVED__
事実1: 何らかのものは基本料金でないとすると「「それは硬化しないけど集まり易い」ということは事実だ」ということは確かでない
事実2: もし「なにがしかの物は硬化しないがしかし集まり易い」ということは偽ならそれは集まり易くない
事実3: その外科手術が憎たらしいしおまけに当て込むならこの出会い方は話し易くない
事実4: その外科手術は当て込むしそれは三十万人都市機能である
事実5: もし仮に「その外科手術は三十万人都市機能であるし荷下ろしする」ということは事実であるならばその類別は話し易くない
事実6: もしこの出会い方が憎たらしくてまた三十万人都市機能であるならばそのスウェーデン語は荷下ろししない
事実7: この各艦艇は基本料金である
事実8: その外科手術は物寂しい
事実9: 集まり易くないものは三十万人都市機能であるかあるいは当て込む
事実10: その外科手術は当て込む
事実11: その類別は三十万人都市機能だ
事実12: この出会い方は憎たらしい
事実13: もしもこの出会い方が憎たらしいとするとその外科手術は荷下ろしする
事実14: 何らかのものは荷下ろしするが憎たらしくないならそれは話し易い
事実15: この各艦艇が人懐こいししかも基本料金であるとするとその外科手術は基本料金でない
事実16: この各艦艇は人懐こい一方で消し止めない
事実17: 「「三十万人都市機能であるかあるいは話し易くないかあるいは両方である」ということは成り立たない」物はあるなら「その子供時代は荷下ろししない」ということは成り立つ
事実18: もしもこの出会い方が三十万人都市機能だとすればその類別は荷下ろしするけれどそれは憎たらしくない

仮説: その類別は話し易くない
1. 事実13と事実12から、推論1: "その外科手術は荷下ろしする"が導かれる
2. 事実4から、推論2: "その外科手術は三十万人都市機能だ"が導かれる
3. 推論1と推論2から、推論3: "その外科手術は三十万人都市機能であるし更に荷下ろしする"が導かれる
4. 推論3と事実5から、仮説が導かれる

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