「あのエレキは追随者でなくておまけに動画ファイルでない」ということは事実と異なる
fact1: 「あのエレキは追随者であるけれど動画ファイルでない」ということは成り立たない fact2: もしもあのエレキは疲れ難くないならば「それは追随者でないしかつそれは動画ファイルだ」ということは成り立たない fact3: あの地球環境問題は得難い fact4: もし仮に空恐ろしくないものは照れ臭いとすると「それは愚考しない」ということは確かである fact5: もしそのファストフード・チェーンは空恐ろしいとすると「あのエレキは愚考しないしおまけに照れ臭くない」ということは成り立つということはない fact6: あの五月末日は追随者でない fact7: このバッチ処理は疲れ難いということはない fact8: 疲れ難い物は追随者でなくて動画ファイルでない fact9: 何らかのものが愚考するということはないとすれば疲れ難くなくてしかも発送しない fact10: そのファストフード・チェーンが愚考しないならばあのエレキは発送するしおまけに疲れ難い fact11: なんらかの物が尾裂きでないならばそれは空恐ろしくないしまた照れ臭い fact12: もし仮にあの地球環境問題がつれないかあるいはそれが得難いかあるいは両方ともであるとしたらこの特殊事情は尤もらしくない fact13: もしも「あのエレキは疲れ難くない」ということは確かだとしたら「追随者でないしそれは動画ファイルでない」ということは間違っている fact14: 仮に「あのエレキは愚考しなくてしかも照れ臭くない」ということは嘘だとするとこの尺鮎は愚考するということはない fact15: あのエレキは疲れ難いということはない fact16: 「あのエレキは攻め掛からないしその上多しない」ということは偽である fact17: あのエレキは隠蔽しない fact18: 「あの手杵は疲れ難くない」ということは成り立つ
fact13 & fact15 -> hypothesis;
この尺鮎は疲れ難くない
fact22 -> int1: もしもこの尺鮎が愚考しないなら疲れ難くないしそれは発送しない; fact21 -> int2: あの地球環境問題はつれないかまたは得難い; fact19 & int2 -> int3: この特殊事情は尤もらしくない; int3 -> int4: 「尤もらしくない」ものはある;
$facts$ = fact1: 「あのエレキは追随者であるけれど動画ファイルでない」ということは成り立たない fact2: もしもあのエレキは疲れ難くないならば「それは追随者でないしかつそれは動画ファイルだ」ということは成り立たない fact3: あの地球環境問題は得難い fact4: もし仮に空恐ろしくないものは照れ臭いとすると「それは愚考しない」ということは確かである fact5: もしそのファストフード・チェーンは空恐ろしいとすると「あのエレキは愚考しないしおまけに照れ臭くない」ということは成り立つということはない fact6: あの五月末日は追随者でない fact7: このバッチ処理は疲れ難いということはない fact8: 疲れ難い物は追随者でなくて動画ファイルでない fact9: 何らかのものが愚考するということはないとすれば疲れ難くなくてしかも発送しない fact10: そのファストフード・チェーンが愚考しないならばあのエレキは発送するしおまけに疲れ難い fact11: なんらかの物が尾裂きでないならばそれは空恐ろしくないしまた照れ臭い fact12: もし仮にあの地球環境問題がつれないかあるいはそれが得難いかあるいは両方ともであるとしたらこの特殊事情は尤もらしくない fact13: もしも「あのエレキは疲れ難くない」ということは確かだとしたら「追随者でないしそれは動画ファイルでない」ということは間違っている fact14: 仮に「あのエレキは愚考しなくてしかも照れ臭くない」ということは嘘だとするとこの尺鮎は愚考するということはない fact15: あのエレキは疲れ難いということはない fact16: 「あのエレキは攻め掛からないしその上多しない」ということは偽である fact17: あのエレキは隠蔽しない fact18: 「あの手杵は疲れ難くない」ということは成り立つ ; $hypothesis$ = 「あのエレキは追随者でなくておまけに動画ファイルでない」ということは事実と異なる ; $proof$ = 
fact13 & fact15 -> hypothesis; __PROVED__
事実1: 「あのエレキは追随者であるけれど動画ファイルでない」ということは成り立たない
事実2: もしもあのエレキは疲れ難くないならば「それは追随者でないしかつそれは動画ファイルだ」ということは成り立たない
事実3: あの地球環境問題は得難い
事実4: もし仮に空恐ろしくないものは照れ臭いとすると「それは愚考しない」ということは確かである
事実5: もしそのファストフード・チェーンは空恐ろしいとすると「あのエレキは愚考しないしおまけに照れ臭くない」ということは成り立つということはない
事実6: あの五月末日は追随者でない
事実7: このバッチ処理は疲れ難いということはない
事実8: 疲れ難い物は追随者でなくて動画ファイルでない
事実9: 何らかのものが愚考するということはないとすれば疲れ難くなくてしかも発送しない
事実10: そのファストフード・チェーンが愚考しないならばあのエレキは発送するしおまけに疲れ難い
事実11: なんらかの物が尾裂きでないならばそれは空恐ろしくないしまた照れ臭い
事実12: もし仮にあの地球環境問題がつれないかあるいはそれが得難いかあるいは両方ともであるとしたらこの特殊事情は尤もらしくない
事実13: もしも「あのエレキは疲れ難くない」ということは確かだとしたら「追随者でないしそれは動画ファイルでない」ということは間違っている
事実14: 仮に「あのエレキは愚考しなくてしかも照れ臭くない」ということは嘘だとするとこの尺鮎は愚考するということはない
事実15: あのエレキは疲れ難いということはない
事実16: 「あのエレキは攻め掛からないしその上多しない」ということは偽である
事実17: あのエレキは隠蔽しない
事実18: 「あの手杵は疲れ難くない」ということは成り立つ

仮説: 「あのエレキは追随者でなくておまけに動画ファイルでない」ということは事実と異なる
1. 事実13と事実15から、仮説が導かれる

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