「「結び付き易いかあるいは安しないかまたはどちらもだ」ということは偽である」物はある
fact1: この蠍が時間意識ならあの印刷方法は結び付き易い fact2: とあるものが平身低頭しないとすると安しし時間意識だ fact3: もし「なにかは描写出来る一方で扶植しない」ということは確かでないとすれば平身低頭しない fact4: あの印刷方法が時間意識だとすればこの蠍は安しない fact5: 仮にそのＮＡＳ機器はインポーターでないとすれば「この蠍は描写出来るけれど扶植しない」ということは正しくない fact6: 「怪しくない」ものはある fact7: もしもこの蠍は安しないとすると「そのＮＡＳ機器は結び付き易いかまたは安しない」ということは誤っている fact8: あの印刷方法は時間意識だ
fact4 & fact8 -> int1: この蠍は安しということはない; int1 & fact7 -> int2: 「そのＮＡＳ機器は結び付き易いか安しない」ということは真実でない; int2 -> hypothesis;
fact4 & fact8 -> int1: ¬{B}{b}; int1 & fact7 -> int2: ¬({C}{c} v ¬{B}{c}); int2 -> hypothesis;
あの印刷方法は結び付き易い
fact12 -> int3: もしもこの蠍が平身低頭しないならそれは安しし時間意識だ; fact11 -> int4: もし「この蠍は描写出来るけど扶植しない」ということは本当でないとすれば平身低頭しない;
$facts$ = fact1: この蠍が時間意識ならあの印刷方法は結び付き易い fact2: とあるものが平身低頭しないとすると安しし時間意識だ fact3: もし「なにかは描写出来る一方で扶植しない」ということは確かでないとすれば平身低頭しない fact4: あの印刷方法が時間意識だとすればこの蠍は安しない fact5: 仮にそのＮＡＳ機器はインポーターでないとすれば「この蠍は描写出来るけれど扶植しない」ということは正しくない fact6: 「怪しくない」ものはある fact7: もしもこの蠍は安しないとすると「そのＮＡＳ機器は結び付き易いかまたは安しない」ということは誤っている fact8: あの印刷方法は時間意識だ ; $hypothesis$ = 「「結び付き易いかあるいは安しないかまたはどちらもだ」ということは偽である」物はある ; $proof$ = 
fact4 & fact8 -> int1: この蠍は安しということはない; int1 & fact7 -> int2: 「そのＮＡＳ機器は結び付き易いか安しない」ということは真実でない; int2 -> hypothesis; __PROVED__
事実1: この蠍が時間意識ならあの印刷方法は結び付き易い
事実2: とあるものが平身低頭しないとすると安しし時間意識だ
事実3: もし「なにかは描写出来る一方で扶植しない」ということは確かでないとすれば平身低頭しない
事実4: あの印刷方法が時間意識だとすればこの蠍は安しない
事実5: 仮にそのＮＡＳ機器はインポーターでないとすれば「この蠍は描写出来るけれど扶植しない」ということは正しくない
事実6: 「怪しくない」ものはある
事実7: もしもこの蠍は安しないとすると「そのＮＡＳ機器は結び付き易いかまたは安しない」ということは誤っている
事実8: あの印刷方法は時間意識だ

仮説: 「「結び付き易いかあるいは安しないかまたはどちらもだ」ということは偽である」物はある
1. 事実4と事実8から、推論1: "この蠍は安しということはない"が導かれる
2. 推論1と事実7から、推論2: "「そのＮＡＳ機器は結び付き易いか安しない」ということは真実でない"が導かれる
3. 推論2から、仮説が導かれる

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