あの慈愛は芳しくないがしかしハイジャック等である
fact1: もしも「あの慈愛は神経痛であるかあるいは説明し難い」ということは成り立たないとするとハイジャック等である fact2: 仮に「その一人当たり売り上げ高はウイルス性でなくて完全拡散面光源でない」ということは間違いだとしたら「この血管確保は完全拡散面光源である」ということは正しい fact3: もし仮に「この同一神は不良グループだけれど再編成しない」ということは誤っているとするとそれは寄せ付ける fact4: もしも「この血管確保は完全拡散面光源である」ということは確かならこの大学審議会は返送しないけどこだわり過ぎる fact5: その仏教伝来は無遠慮である fact6: もしこの仲裁制度が御客様方でないならあの慈愛は説明し難いがしかし神経痛でない fact7: もし何かは説明し難いとすれば「それは芳しくないしそれはハイジャック等である」ということは成り立たない fact8: もしも「何らかの物は神経痛だということはないかまたは説明し難いかあるいは両方ともである」ということは成り立たないとすればハイジャック等である fact9: もし仮にあの竹林精舎が要求条件であるならあの慈愛は芳しくない fact10: 仮にあの慈愛は御客様方であるとしたら「それは神経痛でないかもしくは説明し難いか両方ともだ」ということは確かでない fact11: 「あの慈愛は御客様方である」ということは成り立つ fact12: もしもとある物は返送しないとすると「御客様方だということはないし更にリフォームする」ということは嘘だ fact13: 「仮にこの同一神が寄せ付けるならばあの小三は寄せ付ける」ということは確かだ fact14: もし「「この大学審議会は御客様方でないけれどリフォームする」ということは偽だ」ということは真実だとするとこの仲裁制度は御客様方でない fact15: 「何かは芳しくないかまたは御客様方であるかまたは両方だ」ということは事実と異なるとすれば要求条件だ fact16: もしも「あの竹林精舎は無遠慮だけど要求条件であるということはない」ということは成り立つということはないとすると「あの慈愛は芳しくない」ということは正しい fact17: 仮に「あの小三は寄せ付ける」ということは成り立つなら「その一人当たり売り上げ高はウイルス性でなくて加えて完全拡散面光源だということはない」ということは成り立たない fact18: それは無遠慮だけれど要求条件でないというものはない
fact18 -> int1: 「あの竹林精舎は無遠慮であるけれど要求条件でない」ということは誤りである; int1 & fact16 -> int2: 「あの慈愛は芳しいということはない」ということは確かだ; fact11 & fact10 -> int3: 「あの慈愛は神経痛であるということはないかあるいは説明し難いかまたは両方ともだ」ということは間違いである; fact8 -> int4: 仮に「あの慈愛は神経痛でないかもしくは説明し難いかまたは両方だ」ということは嘘であるとするとそれはハイジャック等である; int3 & int4 -> int5: 「あの慈愛はハイジャック等である」ということは成り立つ; int2 & int5 -> hypothesis;
fact18 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact16 -> int2: ¬{A}{a}; fact11 & fact10 -> int3: ¬(¬{D}{a} v {C}{a}); fact8 -> int4: ¬(¬{D}{a} v {C}{a}) -> {B}{a}; int3 & int4 -> int5: {B}{a}; int2 & int5 -> hypothesis;
「あの慈愛は芳しいということはないがハイジャック等である」ということは成り立たない
fact24 -> int6: あの慈愛は説明し難いなら「それは芳しくないけれどハイジャック等だ」ということは成り立たない; fact25 -> int7: 仮に「この大学審議会は返送しない」ということは誤っていないとすれば「それは御客様方でなくてその上それはリフォームする」ということは間違っている;
$facts$ = fact1: もしも「あの慈愛は神経痛であるかあるいは説明し難い」ということは成り立たないとするとハイジャック等である fact2: 仮に「その一人当たり売り上げ高はウイルス性でなくて完全拡散面光源でない」ということは間違いだとしたら「この血管確保は完全拡散面光源である」ということは正しい fact3: もし仮に「この同一神は不良グループだけれど再編成しない」ということは誤っているとするとそれは寄せ付ける fact4: もしも「この血管確保は完全拡散面光源である」ということは確かならこの大学審議会は返送しないけどこだわり過ぎる fact5: その仏教伝来は無遠慮である fact6: もしこの仲裁制度が御客様方でないならあの慈愛は説明し難いがしかし神経痛でない fact7: もし何かは説明し難いとすれば「それは芳しくないしそれはハイジャック等である」ということは成り立たない fact8: もしも「何らかの物は神経痛だということはないかまたは説明し難いかあるいは両方ともである」ということは成り立たないとすればハイジャック等である fact9: もし仮にあの竹林精舎が要求条件であるならあの慈愛は芳しくない fact10: 仮にあの慈愛は御客様方であるとしたら「それは神経痛でないかもしくは説明し難いか両方ともだ」ということは確かでない fact11: 「あの慈愛は御客様方である」ということは成り立つ fact12: もしもとある物は返送しないとすると「御客様方だということはないし更にリフォームする」ということは嘘だ fact13: 「仮にこの同一神が寄せ付けるならばあの小三は寄せ付ける」ということは確かだ fact14: もし「「この大学審議会は御客様方でないけれどリフォームする」ということは偽だ」ということは真実だとするとこの仲裁制度は御客様方でない fact15: 「何かは芳しくないかまたは御客様方であるかまたは両方だ」ということは事実と異なるとすれば要求条件だ fact16: もしも「あの竹林精舎は無遠慮だけど要求条件であるということはない」ということは成り立つということはないとすると「あの慈愛は芳しくない」ということは正しい fact17: 仮に「あの小三は寄せ付ける」ということは成り立つなら「その一人当たり売り上げ高はウイルス性でなくて加えて完全拡散面光源だということはない」ということは成り立たない fact18: それは無遠慮だけれど要求条件でないというものはない ; $hypothesis$ = あの慈愛は芳しくないがしかしハイジャック等である ; $proof$ = 
fact18 -> int1: 「あの竹林精舎は無遠慮であるけれど要求条件でない」ということは誤りである; int1 & fact16 -> int2: 「あの慈愛は芳しいということはない」ということは確かだ; fact11 & fact10 -> int3: 「あの慈愛は神経痛であるということはないかあるいは説明し難いかまたは両方ともだ」ということは間違いである; fact8 -> int4: 仮に「あの慈愛は神経痛でないかもしくは説明し難いかまたは両方だ」ということは嘘であるとするとそれはハイジャック等である; int3 & int4 -> int5: 「あの慈愛はハイジャック等である」ということは成り立つ; int2 & int5 -> hypothesis; __PROVED__
事実1: もしも「あの慈愛は神経痛であるかあるいは説明し難い」ということは成り立たないとするとハイジャック等である
事実2: 仮に「その一人当たり売り上げ高はウイルス性でなくて完全拡散面光源でない」ということは間違いだとしたら「この血管確保は完全拡散面光源である」ということは正しい
事実3: もし仮に「この同一神は不良グループだけれど再編成しない」ということは誤っているとするとそれは寄せ付ける
事実4: もしも「この血管確保は完全拡散面光源である」ということは確かならこの大学審議会は返送しないけどこだわり過ぎる
事実5: その仏教伝来は無遠慮である
事実6: もしこの仲裁制度が御客様方でないならあの慈愛は説明し難いがしかし神経痛でない
事実7: もし何かは説明し難いとすれば「それは芳しくないしそれはハイジャック等である」ということは成り立たない
事実8: もしも「何らかの物は神経痛だということはないかまたは説明し難いかあるいは両方ともである」ということは成り立たないとすればハイジャック等である
事実9: もし仮にあの竹林精舎が要求条件であるならあの慈愛は芳しくない
事実10: 仮にあの慈愛は御客様方であるとしたら「それは神経痛でないかもしくは説明し難いか両方ともだ」ということは確かでない
事実11: 「あの慈愛は御客様方である」ということは成り立つ
事実12: もしもとある物は返送しないとすると「御客様方だということはないし更にリフォームする」ということは嘘だ
事実13: 「仮にこの同一神が寄せ付けるならばあの小三は寄せ付ける」ということは確かだ
事実14: もし「「この大学審議会は御客様方でないけれどリフォームする」ということは偽だ」ということは真実だとするとこの仲裁制度は御客様方でない
事実15: 「何かは芳しくないかまたは御客様方であるかまたは両方だ」ということは事実と異なるとすれば要求条件だ
事実16: もしも「あの竹林精舎は無遠慮だけど要求条件であるということはない」ということは成り立つということはないとすると「あの慈愛は芳しくない」ということは正しい
事実17: 仮に「あの小三は寄せ付ける」ということは成り立つなら「その一人当たり売り上げ高はウイルス性でなくて加えて完全拡散面光源だということはない」ということは成り立たない
事実18: それは無遠慮だけれど要求条件でないというものはない

仮説: あの慈愛は芳しくないがしかしハイジャック等である
1. 事実18から、推論1: "「あの竹林精舎は無遠慮であるけれど要求条件でない」ということは誤りである"が導かれる
2. 推論1と事実16から、推論2: "「あの慈愛は芳しいということはない」ということは確かだ"が導かれる
3. 事実11と事実10から、推論3: "「あの慈愛は神経痛であるということはないかあるいは説明し難いかまたは両方ともだ」ということは間違いである"が導かれる
4. 事実8から、推論4: "仮に「あの慈愛は神経痛でないかもしくは説明し難いかまたは両方だ」ということは嘘であるとするとそれはハイジャック等である"が導かれる
5. 推論3と推論4から、推論5: "「あの慈愛はハイジャック等である」ということは成り立つ"が導かれる
6. 推論2と推論5から、仮説が導かれる

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