その鴎社長は検索機能であるということはない
fact1: もし「なんらかの物は狭苦しくないが戻し易い」ということは成り立たないならば検索機能でない fact2: もしもその鴎社長が狭苦しいとすると検索機能でない fact3: 仮にこの行政は狭苦しいなら「「その鴎社長は狭苦しくないけど戻し易い」ということは偽だ」ということは真実だ fact4: そのガウンは明確化する fact5: 仮にそのガウンが探し易いならそれは切り易くない fact6: もし仮に何かは探し易いとするとそれは切り易くない fact7: 「もし「そのガウンは切り易くない」ということは間違いでないとしたらこの御師は回りくどくないがしかし悩ましい」ということは成り立つ fact8: もしこの御師が回りくどくない一方で悩ましいならばあの征夷大将軍は狭苦しくない fact9: もしもその征夷大将軍が狭苦しくないならこの行政は狭苦しいし上昇し易い fact10: もしある物が探し易いかあるいは明確化するならそれは切り易くない
fact4 -> int1: そのガウンは探し易いかもしくは明確化するかあるいは両方ともである; fact10 -> int2: もしそのガウンが探し易いかあるいは明確化するならそれは切り易くない; int1 & int2 -> int3: そのガウンは切り易くない; int3 & fact7 -> int4: この御師は回りくどいということはないが悩ましい; int4 & fact8 -> int5: 「その征夷大将軍は狭苦しいということはない」ということは正しい; int5 & fact9 -> int6: この行政は狭苦しくてそれは上昇し易い; int6 -> int7: この行政は狭苦しい; int7 & fact3 -> int8: 「その鴎社長は狭苦しくないがそれは戻し易い」ということは嘘だ; fact1 -> int9: もしも「その鴎社長は狭苦しくないけどそれは戻し易い」ということは嘘であるならばそれは検索機能でない; int8 & int9 -> hypothesis;
$facts$ = fact1: もし「なんらかの物は狭苦しくないが戻し易い」ということは成り立たないならば検索機能でない fact2: もしもその鴎社長が狭苦しいとすると検索機能でない fact3: 仮にこの行政は狭苦しいなら「「その鴎社長は狭苦しくないけど戻し易い」ということは偽だ」ということは真実だ fact4: そのガウンは明確化する fact5: 仮にそのガウンが探し易いならそれは切り易くない fact6: もし仮に何かは探し易いとするとそれは切り易くない fact7: 「もし「そのガウンは切り易くない」ということは間違いでないとしたらこの御師は回りくどくないがしかし悩ましい」ということは成り立つ fact8: もしこの御師が回りくどくない一方で悩ましいならばあの征夷大将軍は狭苦しくない fact9: もしもその征夷大将軍が狭苦しくないならこの行政は狭苦しいし上昇し易い fact10: もしある物が探し易いかあるいは明確化するならそれは切り易くない ; $hypothesis$ = その鴎社長は検索機能であるということはない ; $proof$ = 
fact4 -> int1: そのガウンは探し易いかもしくは明確化するかあるいは両方ともである; fact10 -> int2: もしそのガウンが探し易いかあるいは明確化するならそれは切り易くない; int1 & int2 -> int3: そのガウンは切り易くない; int3 & fact7 -> int4: この御師は回りくどいということはないが悩ましい; int4 & fact8 -> int5: 「その征夷大将軍は狭苦しいということはない」ということは正しい; int5 & fact9 -> int6: この行政は狭苦しくてそれは上昇し易い; int6 -> int7: この行政は狭苦しい; int7 & fact3 -> int8: 「その鴎社長は狭苦しくないがそれは戻し易い」ということは嘘だ; fact1 -> int9: もしも「その鴎社長は狭苦しくないけどそれは戻し易い」ということは嘘であるならばそれは検索機能でない; int8 & int9 -> hypothesis; __PROVED__
事実1: もし「なんらかの物は狭苦しくないが戻し易い」ということは成り立たないならば検索機能でない
事実2: もしもその鴎社長が狭苦しいとすると検索機能でない
事実3: 仮にこの行政は狭苦しいなら「「その鴎社長は狭苦しくないけど戻し易い」ということは偽だ」ということは真実だ
事実4: そのガウンは明確化する
事実5: 仮にそのガウンが探し易いならそれは切り易くない
事実6: もし仮に何かは探し易いとするとそれは切り易くない
事実7: 「もし「そのガウンは切り易くない」ということは間違いでないとしたらこの御師は回りくどくないがしかし悩ましい」ということは成り立つ
事実8: もしこの御師が回りくどくない一方で悩ましいならばあの征夷大将軍は狭苦しくない
事実9: もしもその征夷大将軍が狭苦しくないならこの行政は狭苦しいし上昇し易い
事実10: もしある物が探し易いかあるいは明確化するならそれは切り易くない

仮説: その鴎社長は検索機能であるということはない
1. 事実4から、推論1: "そのガウンは探し易いかもしくは明確化するかあるいは両方ともである"が導かれる
2. 事実10から、推論2: "もしそのガウンが探し易いかあるいは明確化するならそれは切り易くない"が導かれる
3. 推論1と推論2から、推論3: "そのガウンは切り易くない"が導かれる
4. 推論3と事実7から、推論4: "この御師は回りくどいということはないが悩ましい"が導かれる
5. 推論4と事実8から、推論5: "「その征夷大将軍は狭苦しいということはない」ということは正しい"が導かれる
6. 推論5と事実9から、推論6: "この行政は狭苦しくてそれは上昇し易い"が導かれる
7. 推論6から、推論7: "この行政は狭苦しい"が導かれる
8. 推論7と事実3から、推論8: "「その鴎社長は狭苦しくないがそれは戻し易い」ということは嘘だ"が導かれる
9. 事実1から、推論9: "もしも「その鴎社長は狭苦しくないけどそれは戻し易い」ということは嘘であるならばそれは検索機能でない"が導かれる
10. 推論8と推論9から、仮説が導かれる

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