この一級建築士はインターネット対応だということはない
fact1: 仮に「何らかの物は検証時だということはないかあるいは程遠いかあるいはどちらもである」ということは成り立つとしたら出血し易いということはない fact2: もしこの一級建築士が検証時であるということはないならあの法的位置付けはインターネット対応でない fact3: その同僚執政官は切り立つ fact4: そのユーザ情報は切り立つ fact5: もしなんらかのものは切り立てば「インターネット対応だ」ということは成り立つ fact6: もしなんらかのものは打ち崩さないなら「それは出血し易くてかつ迷う」ということは間違っている fact7: もしもあの法的位置付けは出血し易くないならば「この一級建築士はインターネット対応でない」ということは正しい fact8: もしそのユーザ情報が切り立つとするとあの法的位置付けは検証時でないかもしくはそれは程遠い
fact8 & fact4 -> int1: あの法的位置付けは検証時でないか程遠いか両方ともである; fact1 -> int2: 仮にあの法的位置付けは検証時でないかもしくは程遠いかまたは両方ともであるならば出血し易くない; int1 & int2 -> int3: あの法的位置付けは出血し易くない; int3 & fact7 -> hypothesis;
fact8 & fact4 -> int1: (¬{AA}{b} v {AB}{b}); fact1 -> int2: (¬{AA}{b} v {AB}{b}) -> ¬{B}{b}; int1 & int2 -> int3: ¬{B}{b}; int3 & fact7 -> hypothesis;
この一級建築士はインターネット対応だ
fact9 -> int4: もし仮にこの一級建築士が切り立つとしたらそれはインターネット対応である; fact10 -> int5: 仮にあの法的位置付けは打ち崩さないとすると「それは出血し易いししかも迷う」ということは嘘である;
$facts$ = fact1: 仮に「何らかの物は検証時だということはないかあるいは程遠いかあるいはどちらもである」ということは成り立つとしたら出血し易いということはない fact2: もしこの一級建築士が検証時であるということはないならあの法的位置付けはインターネット対応でない fact3: その同僚執政官は切り立つ fact4: そのユーザ情報は切り立つ fact5: もしなんらかのものは切り立てば「インターネット対応だ」ということは成り立つ fact6: もしなんらかのものは打ち崩さないなら「それは出血し易くてかつ迷う」ということは間違っている fact7: もしもあの法的位置付けは出血し易くないならば「この一級建築士はインターネット対応でない」ということは正しい fact8: もしそのユーザ情報が切り立つとするとあの法的位置付けは検証時でないかもしくはそれは程遠い ; $hypothesis$ = この一級建築士はインターネット対応だということはない ; $proof$ = 
fact8 & fact4 -> int1: あの法的位置付けは検証時でないか程遠いか両方ともである; fact1 -> int2: 仮にあの法的位置付けは検証時でないかもしくは程遠いかまたは両方ともであるならば出血し易くない; int1 & int2 -> int3: あの法的位置付けは出血し易くない; int3 & fact7 -> hypothesis; __PROVED__
事実1: 仮に「何らかの物は検証時だということはないかあるいは程遠いかあるいはどちらもである」ということは成り立つとしたら出血し易いということはない
事実2: もしこの一級建築士が検証時であるということはないならあの法的位置付けはインターネット対応でない
事実3: その同僚執政官は切り立つ
事実4: そのユーザ情報は切り立つ
事実5: もしなんらかのものは切り立てば「インターネット対応だ」ということは成り立つ
事実6: もしなんらかのものは打ち崩さないなら「それは出血し易くてかつ迷う」ということは間違っている
事実7: もしもあの法的位置付けは出血し易くないならば「この一級建築士はインターネット対応でない」ということは正しい
事実8: もしそのユーザ情報が切り立つとするとあの法的位置付けは検証時でないかもしくはそれは程遠い

仮説: この一級建築士はインターネット対応だということはない
1. 事実8と事実4から、推論1: "あの法的位置付けは検証時でないか程遠いか両方ともである"が導かれる
2. 事実1から、推論2: "仮にあの法的位置付けは検証時でないかもしくは程遠いかまたは両方ともであるならば出血し易くない"が導かれる
3. 推論1と推論2から、推論3: "あの法的位置付けは出血し易くない"が導かれる
4. 推論3と事実7から、仮説が導かれる

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