この御嘆きは愛くるしい
fact1: このモルヒネは労働契約承継法でないとしたら「この御嘆きは愛くるしい」ということは確かだ fact2: この御嘆きが愛くるしいとするとＬアンドでない fact3: もしこの御嘆きはレコード屋さんなら「それは機能出来るということはないかそれは愛くるしい」ということは成り立つということはない fact4: もしも「この自由神経終末は機能出来ないかレコード屋さんであるか両方だ」ということは間違いならこのモルヒネは労働契約承継法でない fact5: 「あるものは機能出来ない」ということは事実であるならば「それはＬアンドであるかもしくはレコード屋さんでない」ということは誤っている fact6: 「「弛み無くなくて併合しない」ということは誤っている」ものはある fact7: 「この自由神経終末は機能出来ないかもしくはそれは労働契約承継法であるか両方である」ということは嘘だ fact8: もしあの柑子が関係演算子でそれは燐酸化するとしたら「あの二十ＦＴコンテナは寒々しかない」ということは真実である fact9: 仮に「「レコード屋さんでないし愛くるしくない」ということは間違いである」物はあるとしたら「この御嘆きは機能出来る」ということは確かだ fact10: もしも「「Ｌアンドでないし機能出来ない」ということは嘘な」ものがあるとすればあの自由神経終末は愛くるしい fact11: あの柑子は関係演算子だ fact12: もしこのモルヒネがレコード屋さんでないならこの自由神経終末は労働契約承継法だ fact13: 「あの資本主義経済は忙殺しないかもしくはそれは狭苦しいかあるいは両方だ」ということは間違いである fact14: このモルヒネは飾紐であるなら「「それは瞑らない一方で労働契約承継法である」ということは事実だ」ということは偽だ fact15: 「「弛み無いということはなくてかつ併合しない」ということは成り立つということはない」ものがあるとするとこの自由神経終末はＬアンドである fact16: もし仮に「この自由神経終末はＬアンドであるかあるいはそれはレコード屋さんでない」ということは嘘だとするとこの御嘆きは愛くるしくない fact17: 「この御嘆きは歌い始めないかレコード屋さんであるかまたはどちらもである」ということは間違いだ fact18: 「労働契約承継法でなくて機能出来ない」物はある fact19: 「あの柑子は燐酸化する」ということは確かだ fact20: 仮に「あの二十ＦＴコンテナは寒々しかない」ということは本当であるならこのモルヒネは営利性であるか煽てないか両方ともである fact21: 何かは営利性であるかまたはそれは煽てないならば「煽てない」ということは事実である fact22: もしも「なにがしかの物は煽てない」ということは間違っていないならそれは飾紐であるし艶っぽい fact23: 仮にこの自由神経終末はＬアンドだとすると「それは機能出来るということはないかそれはレコード屋さんだ」ということは事実と異なる
fact6 & fact15 -> int1: この自由神経終末はＬアンドである; int1 & fact23 -> int2: 「この自由神経終末は機能出来ないかあるいはそれはレコード屋さんだ」ということは偽だ; int2 & fact4 -> int3: このモルヒネは労働契約承継法でない; int3 & fact1 -> hypothesis;
「この御嘆きは愛くるしい」ということは間違っている
fact26 -> int4: 仮にこの自由神経終末は機能出来ないならば「Ｌアンドであるかレコード屋さんでないかもしくはどちらもである」ということは間違いだ; fact24 -> int5: もしこのモルヒネが煽てないとすればそれは飾紐でまた艶っぽい; fact25 -> int6: もしもこのモルヒネは営利性であるかもしくは煽てないかあるいはどちらもであるとすれば煽てない; fact31 & fact28 -> int7: あの柑子は関係演算子であるし燐酸化する; fact29 & int7 -> int8: あの二十ＦＴコンテナは寒々しかない; fact27 & int8 -> int9: このモルヒネは営利性であるかもしくはそれは煽てない; int6 & int9 -> int10: このモルヒネは煽てない; int5 & int10 -> int11: このモルヒネは飾紐であるし艶っぽい; int11 -> int12: このモルヒネは飾紐である; fact32 & int12 -> int13: 「このモルヒネは瞑らないけど労働契約承継法である」ということは誤っている; int13 -> int14: 「「瞑らない一方で労働契約承継法である」ということは成り立たない」物はある;
$facts$ = fact1: このモルヒネは労働契約承継法でないとしたら「この御嘆きは愛くるしい」ということは確かだ fact2: この御嘆きが愛くるしいとするとＬアンドでない fact3: もしこの御嘆きはレコード屋さんなら「それは機能出来るということはないかそれは愛くるしい」ということは成り立つということはない fact4: もしも「この自由神経終末は機能出来ないかレコード屋さんであるか両方だ」ということは間違いならこのモルヒネは労働契約承継法でない fact5: 「あるものは機能出来ない」ということは事実であるならば「それはＬアンドであるかもしくはレコード屋さんでない」ということは誤っている fact6: 「「弛み無くなくて併合しない」ということは誤っている」ものはある fact7: 「この自由神経終末は機能出来ないかもしくはそれは労働契約承継法であるか両方である」ということは嘘だ fact8: もしあの柑子が関係演算子でそれは燐酸化するとしたら「あの二十ＦＴコンテナは寒々しかない」ということは真実である fact9: 仮に「「レコード屋さんでないし愛くるしくない」ということは間違いである」物はあるとしたら「この御嘆きは機能出来る」ということは確かだ fact10: もしも「「Ｌアンドでないし機能出来ない」ということは嘘な」ものがあるとすればあの自由神経終末は愛くるしい fact11: あの柑子は関係演算子だ fact12: もしこのモルヒネがレコード屋さんでないならこの自由神経終末は労働契約承継法だ fact13: 「あの資本主義経済は忙殺しないかもしくはそれは狭苦しいかあるいは両方だ」ということは間違いである fact14: このモルヒネは飾紐であるなら「「それは瞑らない一方で労働契約承継法である」ということは事実だ」ということは偽だ fact15: 「「弛み無いということはなくてかつ併合しない」ということは成り立つということはない」ものがあるとするとこの自由神経終末はＬアンドである fact16: もし仮に「この自由神経終末はＬアンドであるかあるいはそれはレコード屋さんでない」ということは嘘だとするとこの御嘆きは愛くるしくない fact17: 「この御嘆きは歌い始めないかレコード屋さんであるかまたはどちらもである」ということは間違いだ fact18: 「労働契約承継法でなくて機能出来ない」物はある fact19: 「あの柑子は燐酸化する」ということは確かだ fact20: 仮に「あの二十ＦＴコンテナは寒々しかない」ということは本当であるならこのモルヒネは営利性であるか煽てないか両方ともである fact21: 何かは営利性であるかまたはそれは煽てないならば「煽てない」ということは事実である fact22: もしも「なにがしかの物は煽てない」ということは間違っていないならそれは飾紐であるし艶っぽい fact23: 仮にこの自由神経終末はＬアンドだとすると「それは機能出来るということはないかそれはレコード屋さんだ」ということは事実と異なる ; $hypothesis$ = この御嘆きは愛くるしい ; $proof$ = 
fact6 & fact15 -> int1: この自由神経終末はＬアンドである; int1 & fact23 -> int2: 「この自由神経終末は機能出来ないかあるいはそれはレコード屋さんだ」ということは偽だ; int2 & fact4 -> int3: このモルヒネは労働契約承継法でない; int3 & fact1 -> 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: 仮にこの自由神経終末はＬアンドだとすると「それは機能出来るということはないかそれはレコード屋さんだ」ということは事実と異なる

仮説: この御嘆きは愛くるしい
1. 事実6と事実15から、推論1: "この自由神経終末はＬアンドである"が導かれる
2. 推論1と事実23から、推論2: "「この自由神経終末は機能出来ないかあるいはそれはレコード屋さんだ」ということは偽だ"が導かれる
3. 推論2と事実4から、推論3: "このモルヒネは労働契約承継法でない"が導かれる
4. 推論3と事実1から、仮説が導かれる

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