この魚ちゃんはジェフ・リンであるということはない
fact1: もし「その貸し付けは晒され易くないが細い」ということは成り立たないならばその三角関係はすーごくない fact2: すーごいものは晒され易い fact3: 「その貸し付けは真空シュラウドだし晒され易い」ということは誤りである fact4: もし仮に「「とあるものは出易いけどすーごくない」ということは正しい」ということは成り立たないとすればそれは出易くない fact5: 細いということはないものは晒され易くないし隠匿しない fact6: もしも「その貸し付けは真空シュラウドであるし加えて晒され易い」ということは成り立たないとするとそれは晒され易くない fact7: もし仮にあの残余年数が紹介状でないかあるいはそれは周波数ならば「この魚ちゃんはジェフ・リンでない」ということは成り立つ fact8: あの残余年数は真空シュラウドである fact9: その三角関係が隠匿しないとすればこの九十四年試案は出易くておまけに細い fact10: もしこの九十四年試案は既往でないとすれば「その貸し付けは紹介状であるし周波数である」ということは偽である fact11: もし仮にその三角関係がすーごくないならばこの魚ちゃんはすーごくない fact12: もしもとあるものは出易くないとしたら「晒され易くないししかも細い」ということは間違いだ fact13: この九十四年試案が出易いならあの残余年数は紹介状でないかもしくは周波数であるかあるいは両方ともである fact14: その三角関係は紹介状でない fact15: なんらかのものがすーごくないならジェフ・リンであるしその上隠匿する fact16: もし仮にとある物は隠匿しないとすると「それは出易くて更にそれはすーごくない」ということは成り立たない fact17: その三角関係が細いということはないならこの魚ちゃんは細くない fact18: この九十四年試案は細い fact19: もしもその三角関係が隠匿するならその貸し付けはすーごい fact20: 仮に「何らかのものは紹介状であるし周波数である」ということは事実と異なるとするとそれは出易くない fact21: もし仮にこの九十四年試案が周波数でないならばあの残余年数は細いしそれは出易い fact22: もし仮にその三角関係は紹介状でないならば「それは周波数でその上それは細い」ということは誤りだ
void -> assump1: 以下のように仮定する。その三角関係は隠匿する; fact19 & assump1 -> int1: その貸し付けはすーごい; fact2 -> int2: もし仮にその貸し付けがすーごいならばそれは晒され易い; int1 & int2 -> int3: その貸し付けは晒され易い; fact3 & fact6 -> int4: 「その貸し付けは晒され易いということはない」ということは本当である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その三角関係は隠匿しない; int6 & fact9 -> int7: この九十四年試案は出易くてそれは細い; int7 -> int8: この九十四年試案は出易い; int8 & fact13 -> int9: あの残余年数は紹介状でないかあるいはそれは周波数であるかもしくは両方だ; int9 & fact7 -> hypothesis;
この魚ちゃんは出易くない
fact24 -> int10: もし「「この魚ちゃんは出易いがすーごくない」ということは本当だ」ということは嘘なら「それは出易くない」ということは成り立つ; fact28 -> int11: もしこの魚ちゃんは隠匿しないとすれば「それは出易いしそれにすーごいということはない」ということは間違っている; fact23 -> int12: 仮にこの魚ちゃんが細くないとしたらそれは晒され易くないし隠匿しない; fact26 & fact27 -> int13: 「その三角関係は周波数であるしかつそれは細い」ということは嘘だ;
$facts$ = fact1: もし「その貸し付けは晒され易くないが細い」ということは成り立たないならばその三角関係はすーごくない fact2: すーごいものは晒され易い fact3: 「その貸し付けは真空シュラウドだし晒され易い」ということは誤りである fact4: もし仮に「「とあるものは出易いけどすーごくない」ということは正しい」ということは成り立たないとすればそれは出易くない fact5: 細いということはないものは晒され易くないし隠匿しない fact6: もしも「その貸し付けは真空シュラウドであるし加えて晒され易い」ということは成り立たないとするとそれは晒され易くない fact7: もし仮にあの残余年数が紹介状でないかあるいはそれは周波数ならば「この魚ちゃんはジェフ・リンでない」ということは成り立つ fact8: あの残余年数は真空シュラウドである fact9: その三角関係が隠匿しないとすればこの九十四年試案は出易くておまけに細い fact10: もしこの九十四年試案は既往でないとすれば「その貸し付けは紹介状であるし周波数である」ということは偽である fact11: もし仮にその三角関係がすーごくないならばこの魚ちゃんはすーごくない fact12: もしもとあるものは出易くないとしたら「晒され易くないししかも細い」ということは間違いだ fact13: この九十四年試案が出易いならあの残余年数は紹介状でないかもしくは周波数であるかあるいは両方ともである fact14: その三角関係は紹介状でない fact15: なんらかのものがすーごくないならジェフ・リンであるしその上隠匿する fact16: もし仮にとある物は隠匿しないとすると「それは出易くて更にそれはすーごくない」ということは成り立たない fact17: その三角関係が細いということはないならこの魚ちゃんは細くない fact18: この九十四年試案は細い fact19: もしもその三角関係が隠匿するならその貸し付けはすーごい fact20: 仮に「何らかのものは紹介状であるし周波数である」ということは事実と異なるとするとそれは出易くない fact21: もし仮にこの九十四年試案が周波数でないならばあの残余年数は細いしそれは出易い fact22: もし仮にその三角関係は紹介状でないならば「それは周波数でその上それは細い」ということは誤りだ ; $hypothesis$ = この魚ちゃんはジェフ・リンであるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その三角関係は隠匿する; fact19 & assump1 -> int1: その貸し付けはすーごい; fact2 -> int2: もし仮にその貸し付けがすーごいならばそれは晒され易い; int1 & int2 -> int3: その貸し付けは晒され易い; fact3 & fact6 -> int4: 「その貸し付けは晒され易いということはない」ということは本当である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その三角関係は隠匿しない; int6 & fact9 -> int7: この九十四年試案は出易くてそれは細い; int7 -> int8: この九十四年試案は出易い; int8 & fact13 -> int9: あの残余年数は紹介状でないかあるいはそれは周波数であるかもしくは両方だ; int9 & fact7 -> hypothesis; __PROVED__
事実1: もし「その貸し付けは晒され易くないが細い」ということは成り立たないならばその三角関係はすーごくない
事実2: すーごいものは晒され易い
事実3: 「その貸し付けは真空シュラウドだし晒され易い」ということは誤りである
事実4: もし仮に「「とあるものは出易いけどすーごくない」ということは正しい」ということは成り立たないとすればそれは出易くない
事実5: 細いということはないものは晒され易くないし隠匿しない
事実6: もしも「その貸し付けは真空シュラウドであるし加えて晒され易い」ということは成り立たないとするとそれは晒され易くない
事実7: もし仮にあの残余年数が紹介状でないかあるいはそれは周波数ならば「この魚ちゃんはジェフ・リンでない」ということは成り立つ
事実8: あの残余年数は真空シュラウドである
事実9: その三角関係が隠匿しないとすればこの九十四年試案は出易くておまけに細い
事実10: もしこの九十四年試案は既往でないとすれば「その貸し付けは紹介状であるし周波数である」ということは偽である
事実11: もし仮にその三角関係がすーごくないならばこの魚ちゃんはすーごくない
事実12: もしもとあるものは出易くないとしたら「晒され易くないししかも細い」ということは間違いだ
事実13: この九十四年試案が出易いならあの残余年数は紹介状でないかもしくは周波数であるかあるいは両方ともである
事実14: その三角関係は紹介状でない
事実15: なんらかのものがすーごくないならジェフ・リンであるしその上隠匿する
事実16: もし仮にとある物は隠匿しないとすると「それは出易くて更にそれはすーごくない」ということは成り立たない
事実17: その三角関係が細いということはないならこの魚ちゃんは細くない
事実18: この九十四年試案は細い
事実19: もしもその三角関係が隠匿するならその貸し付けはすーごい
事実20: 仮に「何らかのものは紹介状であるし周波数である」ということは事実と異なるとするとそれは出易くない
事実21: もし仮にこの九十四年試案が周波数でないならばあの残余年数は細いしそれは出易い
事実22: もし仮にその三角関係は紹介状でないならば「それは周波数でその上それは細い」ということは誤りだ

仮説: この魚ちゃんはジェフ・リンであるということはない
1. 仮定1: 以下のように仮定する。その三角関係は隠匿する
2. 事実19と仮定1から、推論1: "その貸し付けはすーごい"が導かれる
3. 事実2から、推論2: "もし仮にその貸し付けがすーごいならばそれは晒され易い"が導かれる
4. 推論1と推論2から、推論3: "その貸し付けは晒され易い"が導かれる
5. 事実3と事実6から、推論4: "「その貸し付けは晒され易いということはない」ということは本当である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その三角関係は隠匿しない"が導かれる
8. 推論6と事実9から、推論7: "この九十四年試案は出易くてそれは細い"が導かれる
9. 推論7から、推論8: "この九十四年試案は出易い"が導かれる
10. 推論8と事実13から、推論9: "あの残余年数は紹介状でないかあるいはそれは周波数であるかもしくは両方だ"が導かれる
11. 推論9と事実7から、仮説が導かれる

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