あのキューは遣り取り出来るということはない
fact1: 若しないものは遣り取り出来ない fact2: 「もしもあの申し入れ書が若しとすればあのキューは若し」ということは事実である fact3: もしある物が正しくないならそれは知り難し fact4: その細胞障害が抗議すればあの申し入れ書は抗議する fact5: 仮にその細胞障害が遣り取り出来るしそれにブランドらしいとするとあのキューは引き受け行為でない fact6: もしもあのキューが遣り取り出来ないが付着し易いならあの申し入れ書は知り難くない fact7: ある物が知り難くてそれが見下ろすとするとあのキューは若しない fact8: もし何らかのものがブランドらしくないとしたら若しない fact9: あの申し入れ書は知り難くない fact10: 「「酸臭な」ものはある」ということは成り立つ fact11: 「見下ろすということはない」ものはあるとすれば「あの申し入れ書は正しいししかもそれは若し」ということは偽だ fact12: 「その細胞障害は付着し易い」ということは成り立つ fact13: あの申し入れ書は付着し易くないけれど引き受け行為だ fact14: あのキューはブランドらしい fact15: 「あのキューは知り難し」ということは成り立つ fact16: その大動脈弁位は引き受け行為である fact17: もしあるものは罹患し易くないとすればそれは長細い fact18: あの申し入れ書が見下ろすし引き受け行為であるとするとその細胞障害は若しない fact19: 「その細胞障害はブランドらしい」ということは本当である fact20: 「「見下ろさない」ということは成り立つ」ものはある fact21: もし仮に何かは若しとしたら「それは見下ろさなくて更にそれは正しいということはない」ということは事実と異なる fact22: 仮に「あの申し入れ書は付着し易くないけど引き受け行為である」ということは成り立つならその細胞障害は正しくない fact23: もしもその細胞障害はブランドらしいなら「それは見下ろす」ということは成り立つ
fact22 & fact13 -> int1: その細胞障害は正しくない; fact3 -> int2: もし仮にその細胞障害が正しくないとすれば知り難し; int1 & int2 -> int3: 「その細胞障害は知り難し」ということは確かだ; fact19 & fact23 -> int4: その細胞障害は見下ろす; int3 & int4 -> int5: その細胞障害は知り難しし見下ろす; int5 -> int6: 「知り難くて見下ろす」物はある; int6 & fact7 -> int7: あのキューは若しない; fact1 -> int8: あのキューが若しということはないとすると遣り取り出来ない; int7 & int8 -> hypothesis;
なにかは慈愛深いし抗議する
fact25 & fact26 -> int9: 「あの申し入れ書は正しくて若し」ということは偽である;
$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$ = 
fact22 & fact13 -> int1: その細胞障害は正しくない; fact3 -> int2: もし仮にその細胞障害が正しくないとすれば知り難し; int1 & int2 -> int3: 「その細胞障害は知り難し」ということは確かだ; fact19 & fact23 -> int4: その細胞障害は見下ろす; int3 & int4 -> int5: その細胞障害は知り難しし見下ろす; int5 -> int6: 「知り難くて見下ろす」物はある; int6 & fact7 -> int7: あのキューは若しない; fact1 -> int8: あのキューが若しということはないとすると遣り取り出来ない; int7 & int8 -> 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. 事実22と事実13から、推論1: "その細胞障害は正しくない"が導かれる
2. 事実3から、推論2: "もし仮にその細胞障害が正しくないとすれば知り難し"が導かれる
3. 推論1と推論2から、推論3: "「その細胞障害は知り難し」ということは確かだ"が導かれる
4. 事実19と事実23から、推論4: "その細胞障害は見下ろす"が導かれる
5. 推論3と推論4から、推論5: "その細胞障害は知り難しし見下ろす"が導かれる
6. 推論5から、推論6: "「知り難くて見下ろす」物はある"が導かれる
7. 推論6と事実7から、推論7: "あのキューは若しない"が導かれる
8. 事実1から、推論8: "あのキューが若しということはないとすると遣り取り出来ない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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