もしもこの読み出し専用が滾るならこのＨＴＭＬファイルは遅れ易い
fact1: もしもその金銀取り引きが易しくないとするとこの読み出し専用は滾らない fact2: 「そのフロイト理論は易しい」ということは正しい fact3: もしその金銀取り引きは気難しくないなら「このＨＴＭＬファイルは遅れ易くてそれは滾る」ということは成り立つということはない fact4: もし「その金銀取り引きは易しいしまた気難しい」ということは事実と異なるならこの読み出し専用は滾る fact5: 「そのカラーコンクリートは易しい」ということは事実である fact6: この読み出し専用は易しいということはない fact7: その金銀取り引きは遅れ易くない fact8: もし仮にこの読み出し専用は滾らないとしたら「このＨＴＭＬファイルは気難しくて遅れ易い」ということは偽だ fact9: 「その朝毎は気難しくない」ということは確かだ fact10: この読み出し専用は遅れ易いということはない fact11: この読み出し専用は切なさである fact12: もし仮に「その金銀取り引きは遅れ易くて易しい」ということは事実と異なるとすればこのＨＴＭＬファイルは滾らない fact13: 仮にこのＨＴＭＬファイルは遅れ易くないとすれば「その金銀取り引きは易しいしおまけにそれは気難しい」ということは成り立たない fact14: もし仮に「その金銀取り引きは易しくてまた気難しい」ということは事実と異なるとすればこの読み出し専用は滾るということはない fact15: 「このＨＴＭＬファイルは気難しくてまたそれは遅れ易い」ということは誤りだ
void -> assump1: 以下のように仮定する。このＨＴＭＬファイルは遅れ易くない; fact13 & assump1 -> int1: 「「その金銀取り引きは易しくて更に気難しい」ということは成り立たない」ということは事実である; int1 & fact14 -> int2: この読み出し専用は滾らない; void -> assump2: 以下のように仮定する。この読み出し専用は滾る; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このＨＴＭＬファイルは遅れ易い; [assump2] & int4 -> hypothesis;
$facts$ = fact1: もしもその金銀取り引きが易しくないとするとこの読み出し専用は滾らない fact2: 「そのフロイト理論は易しい」ということは正しい fact3: もしその金銀取り引きは気難しくないなら「このＨＴＭＬファイルは遅れ易くてそれは滾る」ということは成り立つということはない fact4: もし「その金銀取り引きは易しいしまた気難しい」ということは事実と異なるならこの読み出し専用は滾る fact5: 「そのカラーコンクリートは易しい」ということは事実である fact6: この読み出し専用は易しいということはない fact7: その金銀取り引きは遅れ易くない fact8: もし仮にこの読み出し専用は滾らないとしたら「このＨＴＭＬファイルは気難しくて遅れ易い」ということは偽だ fact9: 「その朝毎は気難しくない」ということは確かだ fact10: この読み出し専用は遅れ易いということはない fact11: この読み出し専用は切なさである fact12: もし仮に「その金銀取り引きは遅れ易くて易しい」ということは事実と異なるとすればこのＨＴＭＬファイルは滾らない fact13: 仮にこのＨＴＭＬファイルは遅れ易くないとすれば「その金銀取り引きは易しいしおまけにそれは気難しい」ということは成り立たない fact14: もし仮に「その金銀取り引きは易しくてまた気難しい」ということは事実と異なるとすればこの読み出し専用は滾るということはない fact15: 「このＨＴＭＬファイルは気難しくてまたそれは遅れ易い」ということは誤りだ ; $hypothesis$ = もしもこの読み出し専用が滾るならこのＨＴＭＬファイルは遅れ易い ; $proof$ = 
void -> assump1: 以下のように仮定する。このＨＴＭＬファイルは遅れ易くない; fact13 & assump1 -> int1: 「「その金銀取り引きは易しくて更に気難しい」ということは成り立たない」ということは事実である; int1 & fact14 -> int2: この読み出し専用は滾らない; void -> assump2: 以下のように仮定する。この読み出し専用は滾る; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このＨＴＭＬファイルは遅れ易い; [assump2] & int4 -> hypothesis; __PROVED__
事実1: もしもその金銀取り引きが易しくないとするとこの読み出し専用は滾らない
事実2: 「そのフロイト理論は易しい」ということは正しい
事実3: もしその金銀取り引きは気難しくないなら「このＨＴＭＬファイルは遅れ易くてそれは滾る」ということは成り立つということはない
事実4: もし「その金銀取り引きは易しいしまた気難しい」ということは事実と異なるならこの読み出し専用は滾る
事実5: 「そのカラーコンクリートは易しい」ということは事実である
事実6: この読み出し専用は易しいということはない
事実7: その金銀取り引きは遅れ易くない
事実8: もし仮にこの読み出し専用は滾らないとしたら「このＨＴＭＬファイルは気難しくて遅れ易い」ということは偽だ
事実9: 「その朝毎は気難しくない」ということは確かだ
事実10: この読み出し専用は遅れ易いということはない
事実11: この読み出し専用は切なさである
事実12: もし仮に「その金銀取り引きは遅れ易くて易しい」ということは事実と異なるとすればこのＨＴＭＬファイルは滾らない
事実13: 仮にこのＨＴＭＬファイルは遅れ易くないとすれば「その金銀取り引きは易しいしおまけにそれは気難しい」ということは成り立たない
事実14: もし仮に「その金銀取り引きは易しくてまた気難しい」ということは事実と異なるとすればこの読み出し専用は滾るということはない
事実15: 「このＨＴＭＬファイルは気難しくてまたそれは遅れ易い」ということは誤りだ

仮説: もしもこの読み出し専用が滾るならこのＨＴＭＬファイルは遅れ易い
1. 仮定1: 以下のように仮定する。このＨＴＭＬファイルは遅れ易くない
2. 事実13と仮定1から、推論1: "「「その金銀取り引きは易しくて更に気難しい」ということは成り立たない」ということは事実である"が導かれる
3. 推論1と事実14から、推論2: "この読み出し専用は滾らない"が導かれる
4. 仮定2: 以下のように仮定する。この読み出し専用は滾る
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "このＨＴＭＬファイルは遅れ易い"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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