「あの字義通りは気の毒過ぎるしおまけに共通化する」ということは成り立たない
fact1: もしもあの字義通りは柔らかいということはないなら「あのマザーズは皮肉っぽいかもしくは再開発するということはないかもしくはどちらもだ」ということは誤っている fact2: 「あのエイトＬは共通化する」ということは成り立つ fact3: あのラブラブは再開発する fact4: 「あの字義通りは柔らかい」ということは成り立つとすると気の毒過ぎる fact5: 「あのラブラブは夜更かししない」ということは成り立つ fact6: もし仮に「なにかは次ぐかそれは板ゼラチンであるかもしくは両方ともだ」ということは偽だとすると「それは握り潰さない」ということは事実である fact7: 「あのマザーズは皮肉っぽいかそれは再開発しない」ということは嘘であるとしたらこの収益事業は出会い易い fact8: 「この第二帝政は夜更かししない」ということは成り立つ fact9: あの字義通りは夜更かししない fact10: 「あのラブラブは再開発するかあるいは皮肉っぽいかまたはどちらもである」ということは事実でないならば「あのマザーズは夜更かしする」ということは成り立つ fact11: 仮にこの収益事業が出会い易いとしたらあのラブラブは夜更かしする fact12: あのマザーズは散開する fact13: 「あのラブラブは気の毒過ぎるかまたは柔らかいということはないかあるいは両方である」ということは成り立たないとすればあの字義通りは夜更かしする fact14: もし仮にとあるものは瓶詰めしないとすれば「それは次ぐかまたは板ゼラチンであるかあるいは両方ともだ」ということは確かでない fact15: もし「この収益事業は出会い易いということはなくてかつ夜更かししない」ということは誤りだとすると「あのマザーズは柔らかくない」ということは確かだ fact16: あのマザーズは出会い易いということはない fact17: あのマザーズは皮肉っぽくない fact18: 「あの字義通りは柔らかくない」ということは確かであるならあのマザーズは皮肉っぽくない fact19: もしあのラブラブは握り潰さないとしたら「この収益事業は出会い易いということはなくてかつ夜更かししない」ということは成り立たない fact20: もし仮にあの字義通りが夜更かしするとしたらあのラブラブは気の毒過ぎる fact21: 「あの字義通りは共通化する」ということは成り立つ
void -> assump1: 以下のように仮定する。あの字義通りは柔らかくない; fact1 & assump1 -> int1: 「あのマザーズは皮肉っぽいかまたはそれは再開発しない」ということは嘘である; int1 & fact7 -> int2: この収益事業は出会い易い; int2 & fact11 -> int3: あのラブラブは夜更かしする; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの字義通りは柔らかい; int5 & fact4 -> int6: あの字義通りは気の毒過ぎる; int6 & fact21 -> hypothesis;
「あの字義通りは気の毒過ぎるし更に共通化する」ということは本当でない
fact25 -> int7: もし仮に「あのラブラブは次ぐかもしくは板ゼラチンであるか両方ともである」ということは事実と異なるとするとそれは握り潰すということはない; fact22 -> int8: あのラブラブは瓶詰めしないとすると「次ぐかまたは板ゼラチンであるか両方ともである」ということは間違っている;
$facts$ = fact1: もしもあの字義通りは柔らかいということはないなら「あのマザーズは皮肉っぽいかもしくは再開発するということはないかもしくはどちらもだ」ということは誤っている fact2: 「あのエイトＬは共通化する」ということは成り立つ fact3: あのラブラブは再開発する fact4: 「あの字義通りは柔らかい」ということは成り立つとすると気の毒過ぎる fact5: 「あのラブラブは夜更かししない」ということは成り立つ fact6: もし仮に「なにかは次ぐかそれは板ゼラチンであるかもしくは両方ともだ」ということは偽だとすると「それは握り潰さない」ということは事実である fact7: 「あのマザーズは皮肉っぽいかそれは再開発しない」ということは嘘であるとしたらこの収益事業は出会い易い fact8: 「この第二帝政は夜更かししない」ということは成り立つ fact9: あの字義通りは夜更かししない fact10: 「あのラブラブは再開発するかあるいは皮肉っぽいかまたはどちらもである」ということは事実でないならば「あのマザーズは夜更かしする」ということは成り立つ fact11: 仮にこの収益事業が出会い易いとしたらあのラブラブは夜更かしする fact12: あのマザーズは散開する fact13: 「あのラブラブは気の毒過ぎるかまたは柔らかいということはないかあるいは両方である」ということは成り立たないとすればあの字義通りは夜更かしする fact14: もし仮にとあるものは瓶詰めしないとすれば「それは次ぐかまたは板ゼラチンであるかあるいは両方ともだ」ということは確かでない fact15: もし「この収益事業は出会い易いということはなくてかつ夜更かししない」ということは誤りだとすると「あのマザーズは柔らかくない」ということは確かだ fact16: あのマザーズは出会い易いということはない fact17: あのマザーズは皮肉っぽくない fact18: 「あの字義通りは柔らかくない」ということは確かであるならあのマザーズは皮肉っぽくない fact19: もしあのラブラブは握り潰さないとしたら「この収益事業は出会い易いということはなくてかつ夜更かししない」ということは成り立たない fact20: もし仮にあの字義通りが夜更かしするとしたらあのラブラブは気の毒過ぎる fact21: 「あの字義通りは共通化する」ということは成り立つ ; $hypothesis$ = 「あの字義通りは気の毒過ぎるしおまけに共通化する」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの字義通りは柔らかくない; fact1 & assump1 -> int1: 「あのマザーズは皮肉っぽいかまたはそれは再開発しない」ということは嘘である; int1 & fact7 -> int2: この収益事業は出会い易い; int2 & fact11 -> int3: あのラブラブは夜更かしする; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの字義通りは柔らかい; int5 & fact4 -> int6: あの字義通りは気の毒過ぎる; int6 & fact21 -> hypothesis; __DISPROVED__
事実1: もしもあの字義通りは柔らかいということはないなら「あのマザーズは皮肉っぽいかもしくは再開発するということはないかもしくはどちらもだ」ということは誤っている
事実2: 「あのエイトＬは共通化する」ということは成り立つ
事実3: あのラブラブは再開発する
事実4: 「あの字義通りは柔らかい」ということは成り立つとすると気の毒過ぎる
事実5: 「あのラブラブは夜更かししない」ということは成り立つ
事実6: もし仮に「なにかは次ぐかそれは板ゼラチンであるかもしくは両方ともだ」ということは偽だとすると「それは握り潰さない」ということは事実である
事実7: 「あのマザーズは皮肉っぽいかそれは再開発しない」ということは嘘であるとしたらこの収益事業は出会い易い
事実8: 「この第二帝政は夜更かししない」ということは成り立つ
事実9: あの字義通りは夜更かししない
事実10: 「あのラブラブは再開発するかあるいは皮肉っぽいかまたはどちらもである」ということは事実でないならば「あのマザーズは夜更かしする」ということは成り立つ
事実11: 仮にこの収益事業が出会い易いとしたらあのラブラブは夜更かしする
事実12: あのマザーズは散開する
事実13: 「あのラブラブは気の毒過ぎるかまたは柔らかいということはないかあるいは両方である」ということは成り立たないとすればあの字義通りは夜更かしする
事実14: もし仮にとあるものは瓶詰めしないとすれば「それは次ぐかまたは板ゼラチンであるかあるいは両方ともだ」ということは確かでない
事実15: もし「この収益事業は出会い易いということはなくてかつ夜更かししない」ということは誤りだとすると「あのマザーズは柔らかくない」ということは確かだ
事実16: あのマザーズは出会い易いということはない
事実17: あのマザーズは皮肉っぽくない
事実18: 「あの字義通りは柔らかくない」ということは確かであるならあのマザーズは皮肉っぽくない
事実19: もしあのラブラブは握り潰さないとしたら「この収益事業は出会い易いということはなくてかつ夜更かししない」ということは成り立たない
事実20: もし仮にあの字義通りが夜更かしするとしたらあのラブラブは気の毒過ぎる
事実21: 「あの字義通りは共通化する」ということは成り立つ

仮説: 「あの字義通りは気の毒過ぎるしおまけに共通化する」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの字義通りは柔らかくない
2. 事実1と仮定1から、推論1: "「あのマザーズは皮肉っぽいかまたはそれは再開発しない」ということは嘘である"が導かれる
3. 推論1と事実7から、推論2: "この収益事業は出会い易い"が導かれる
4. 推論2と事実11から、推論3: "あのラブラブは夜更かしする"が導かれる
5. 推論3と事実5から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの字義通りは柔らかい"が導かれる
7. 推論5と事実4から、推論6: "あの字義通りは気の毒過ぎる"が導かれる
8. 推論6と事実21から、仮説が否定される

よって、仮説が否定されました。