この腹鰭が足テビチだけど投資チャンスでない
fact1: 仮にあの別表が投資チャンスでないならこの腹鰭は足テビチだけれどそれは投資チャンスでない fact2: もし仮にこの支給手続きが湿気易いならあの別表は短い fact3: この支給手続きは埴輪ならば「あの別表は短い」ということは事実だ fact4: あの四年後は掴み易くないしその上模写するない fact5: 「拍出する」物があるならこの涙雨は清潔感だということはないかまたは拍出するかあるいは両方だ fact6: このＧ社が埴輪であるかまたはそれは神竜であるかもしくは両方ならば模写しない fact7: 仮にあの四年後が掴み易くなくてかつ模写するということはないならこのＧ社は模写する fact8: 「拍出する」物はある fact9: この涙雨が清潔感でないか拍出するかもしくは両方ともであるならばあの別表はフォローしない fact10: 仮に「あるものはフォローしないけれど短い」ということは本当だとしたらそれは投資チャンスでない fact11: もしもこのＧ社が埴輪でないならばこの支給手続きは埴輪であるかもしくは湿気易いかまたは両方である
void -> assump1: 以下のように仮定する。このＧ社は埴輪だ; assump1 -> int1: このＧ社は埴輪であるかあるいはそれは神竜であるかまたはどちらもである; int1 & fact6 -> int2: 「このＧ社は模写しない」ということは正しい; fact7 & fact4 -> int3: このＧ社は模写する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このＧ社は埴輪でない; int5 & fact11 -> int6: この支給手続きは埴輪であるかあるいはそれは湿気易い; int6 & fact3 & fact2 -> int7: あの別表は短い; fact8 & fact5 -> int8: この涙雨は清潔感でないかまたは拍出する; int8 & fact9 -> int9: あの別表はフォローするということはない; int7 & int9 -> int10: あの別表はフォローしないけど短い; fact10 -> int11: 仮にあの別表がフォローしない一方で短いとすれば投資チャンスだということはない; int10 & int11 -> int12: あの別表は投資チャンスでない; int12 & fact1 -> hypothesis;
$facts$ = fact1: 仮にあの別表が投資チャンスでないならこの腹鰭は足テビチだけれどそれは投資チャンスでない fact2: もし仮にこの支給手続きが湿気易いならあの別表は短い fact3: この支給手続きは埴輪ならば「あの別表は短い」ということは事実だ fact4: あの四年後は掴み易くないしその上模写するない fact5: 「拍出する」物があるならこの涙雨は清潔感だということはないかまたは拍出するかあるいは両方だ fact6: このＧ社が埴輪であるかまたはそれは神竜であるかもしくは両方ならば模写しない fact7: 仮にあの四年後が掴み易くなくてかつ模写するということはないならこのＧ社は模写する fact8: 「拍出する」物はある fact9: この涙雨が清潔感でないか拍出するかもしくは両方ともであるならばあの別表はフォローしない fact10: 仮に「あるものはフォローしないけれど短い」ということは本当だとしたらそれは投資チャンスでない fact11: もしもこのＧ社が埴輪でないならばこの支給手続きは埴輪であるかもしくは湿気易いかまたは両方である ; $hypothesis$ = この腹鰭が足テビチだけど投資チャンスでない ; $proof$ = 
void -> assump1: 以下のように仮定する。このＧ社は埴輪だ; assump1 -> int1: このＧ社は埴輪であるかあるいはそれは神竜であるかまたはどちらもである; int1 & fact6 -> int2: 「このＧ社は模写しない」ということは正しい; fact7 & fact4 -> int3: このＧ社は模写する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このＧ社は埴輪でない; int5 & fact11 -> int6: この支給手続きは埴輪であるかあるいはそれは湿気易い; int6 & fact3 & fact2 -> int7: あの別表は短い; fact8 & fact5 -> int8: この涙雨は清潔感でないかまたは拍出する; int8 & fact9 -> int9: あの別表はフォローするということはない; int7 & int9 -> int10: あの別表はフォローしないけど短い; fact10 -> int11: 仮にあの別表がフォローしない一方で短いとすれば投資チャンスだということはない; int10 & int11 -> int12: あの別表は投資チャンスでない; int12 & fact1 -> hypothesis; __PROVED__
事実1: 仮にあの別表が投資チャンスでないならこの腹鰭は足テビチだけれどそれは投資チャンスでない
事実2: もし仮にこの支給手続きが湿気易いならあの別表は短い
事実3: この支給手続きは埴輪ならば「あの別表は短い」ということは事実だ
事実4: あの四年後は掴み易くないしその上模写するない
事実5: 「拍出する」物があるならこの涙雨は清潔感だということはないかまたは拍出するかあるいは両方だ
事実6: このＧ社が埴輪であるかまたはそれは神竜であるかもしくは両方ならば模写しない
事実7: 仮にあの四年後が掴み易くなくてかつ模写するということはないならこのＧ社は模写する
事実8: 「拍出する」物はある
事実9: この涙雨が清潔感でないか拍出するかもしくは両方ともであるならばあの別表はフォローしない
事実10: 仮に「あるものはフォローしないけれど短い」ということは本当だとしたらそれは投資チャンスでない
事実11: もしもこのＧ社が埴輪でないならばこの支給手続きは埴輪であるかもしくは湿気易いかまたは両方である

仮説: この腹鰭が足テビチだけど投資チャンスでない
1. 仮定1: 以下のように仮定する。このＧ社は埴輪だ
2. 仮定1から、推論1: "このＧ社は埴輪であるかあるいはそれは神竜であるかまたはどちらもである"が導かれる
3. 推論1と事実6から、推論2: "「このＧ社は模写しない」ということは正しい"が導かれる
4. 事実7と事実4から、推論3: "このＧ社は模写する"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "このＧ社は埴輪でない"が導かれる
7. 推論5と事実11から、推論6: "この支給手続きは埴輪であるかあるいはそれは湿気易い"が導かれる
8. 推論6と事実3と事実2から、推論7: "あの別表は短い"が導かれる
9. 事実8と事実5から、推論8: "この涙雨は清潔感でないかまたは拍出する"が導かれる
10. 推論8と事実9から、推論9: "あの別表はフォローするということはない"が導かれる
11. 推論7と推論9から、推論10: "あの別表はフォローしないけど短い"が導かれる
12. 事実10から、推論11: "仮にあの別表がフォローしない一方で短いとすれば投資チャンスだということはない"が導かれる
13. 推論10と推論11から、推論12: "あの別表は投資チャンスでない"が導かれる
14. 推論12と事実1から、仮説が導かれる

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