この肉眼的所見は俗っぽくない
fact1: もしもあのフォンドボーは音圧であるとすると「あの細菌性は黄色いがしかしそれは線維束攣縮でない」ということは成り立たない fact2: もしも「あのフォンドボーは音圧でないがそれは家族室である」ということは事実と異なるとすると「音圧だ」ということは成り立つ fact3: もしこの肉眼的所見が十数軒であるとしたらあの細菌性は俗っぽい fact4: あの細菌性は十数軒でないし加えて入力出来ない fact5: もし「「とあるものは入力出来ないがしかしそれは俗っぽい」ということは確かだ」ということは間違いならそれは住み易い fact6: もしも「あの細菌性は俗っぽい」ということは真実であるならこの肉眼的所見は入力出来る fact7: あのＡＤＨＤ症状は進行し始めないし更にそれは入力出来ない fact8: あの細菌性は十数軒でない fact9: 仮にこの肉眼的所見が俗っぽいとするとあの細菌性は入力出来る fact10: もしも「あの細菌性は黄色い一方で線維束攣縮でない」ということは成り立たないとすれば「それは圧倒出来ない」ということは正しい fact11: もし仮にあるものは十数軒ならば「入力出来なくてそれは俗っぽい」ということは成り立たない fact12: もし「とあるものは圧倒出来ない」ということは真実だとするとそれは十数軒であるかあるいはそれはダイヤルアップでないかまたは両方だ
void -> assump1: 以下のように仮定する。この肉眼的所見は俗っぽい; fact9 & assump1 -> int1: あの細菌性は入力出来る; fact4 -> int2: あの細菌性は入力出来ない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「この肉眼的所見は住み易い」ということは本当である
fact13 -> int4: 仮に「この肉眼的所見は入力出来ないがしかし俗っぽい」ということは間違っているとしたら住み易い; fact14 -> int5: もし仮にこの肉眼的所見は十数軒であるならば「それは入力出来ないがしかし俗っぽい」ということは成り立たない; fact15 -> int6: もしもあの細菌性が圧倒出来るということはないとしたらそれは十数軒であるかあるいはダイヤルアップでないかもしくはどちらもだ;
$facts$ = fact1: もしもあのフォンドボーは音圧であるとすると「あの細菌性は黄色いがしかしそれは線維束攣縮でない」ということは成り立たない fact2: もしも「あのフォンドボーは音圧でないがそれは家族室である」ということは事実と異なるとすると「音圧だ」ということは成り立つ fact3: もしこの肉眼的所見が十数軒であるとしたらあの細菌性は俗っぽい fact4: あの細菌性は十数軒でないし加えて入力出来ない fact5: もし「「とあるものは入力出来ないがしかしそれは俗っぽい」ということは確かだ」ということは間違いならそれは住み易い fact6: もしも「あの細菌性は俗っぽい」ということは真実であるならこの肉眼的所見は入力出来る fact7: あのＡＤＨＤ症状は進行し始めないし更にそれは入力出来ない fact8: あの細菌性は十数軒でない fact9: 仮にこの肉眼的所見が俗っぽいとするとあの細菌性は入力出来る fact10: もしも「あの細菌性は黄色い一方で線維束攣縮でない」ということは成り立たないとすれば「それは圧倒出来ない」ということは正しい fact11: もし仮にあるものは十数軒ならば「入力出来なくてそれは俗っぽい」ということは成り立たない fact12: もし「とあるものは圧倒出来ない」ということは真実だとするとそれは十数軒であるかあるいはそれはダイヤルアップでないかまたは両方だ ; $hypothesis$ = この肉眼的所見は俗っぽくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この肉眼的所見は俗っぽい; fact9 & assump1 -> int1: あの細菌性は入力出来る; fact4 -> int2: あの細菌性は入力出来ない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもあのフォンドボーは音圧であるとすると「あの細菌性は黄色いがしかしそれは線維束攣縮でない」ということは成り立たない
事実2: もしも「あのフォンドボーは音圧でないがそれは家族室である」ということは事実と異なるとすると「音圧だ」ということは成り立つ
事実3: もしこの肉眼的所見が十数軒であるとしたらあの細菌性は俗っぽい
事実4: あの細菌性は十数軒でないし加えて入力出来ない
事実5: もし「「とあるものは入力出来ないがしかしそれは俗っぽい」ということは確かだ」ということは間違いならそれは住み易い
事実6: もしも「あの細菌性は俗っぽい」ということは真実であるならこの肉眼的所見は入力出来る
事実7: あのＡＤＨＤ症状は進行し始めないし更にそれは入力出来ない
事実8: あの細菌性は十数軒でない
事実9: 仮にこの肉眼的所見が俗っぽいとするとあの細菌性は入力出来る
事実10: もしも「あの細菌性は黄色い一方で線維束攣縮でない」ということは成り立たないとすれば「それは圧倒出来ない」ということは正しい
事実11: もし仮にあるものは十数軒ならば「入力出来なくてそれは俗っぽい」ということは成り立たない
事実12: もし「とあるものは圧倒出来ない」ということは真実だとするとそれは十数軒であるかあるいはそれはダイヤルアップでないかまたは両方だ

仮説: この肉眼的所見は俗っぽくない
1. 仮定1: 以下のように仮定する。この肉眼的所見は俗っぽい
2. 事実9と仮定1から、推論1: "あの細菌性は入力出来る"が導かれる
3. 事実4から、推論2: "あの細菌性は入力出来ない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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