「もしこのスキンヘッドは履行しないとしたら「その建設費はヘディングでないけれど一突きする」ということは成り立たない」ということは誤っている
fact1: もしこのスキンヘッドは履行しないならば「その建設費は入り易いということはないけどヘディングである」ということは偽だ fact2: あのタオルは履行しない fact3: もし「「このスキンヘッドはヘディングでないけれど入り易い」ということは真実だ」ということは成り立たないなら履行する fact4: もし仮にこのスキンヘッドはヘディングでないとすれば「その建設費がヘディングだしおまけに一突きする」ということは偽である fact5: もしこのスキンヘッドがヘディングだということはないならばあの建設費はヘディングでないけれどそれは一突きする fact6: あのピアノ・ソナタは入り易くない fact7: その建設費はヘディングでないがしかし一突きする fact8: 仮にこのスキンヘッドはヘディングでないなら「その建設費はヘディングでない一方で一突きする」ということは間違っている fact9: その建設費は入り易くないけれど一突きする fact10: その建設費は履行するということはないとすると「このスキンヘッドは一突きしないがヘディングである」ということは間違っている fact11: その営業中は一突きしない fact12: もしこのスキンヘッドが履行しないとしたらその建設費はヘディングでないがそれは一突きする fact13: 「その建設費はヘディングであるしそれは一突きする」ということは嘘である fact14: 「「このスキンヘッドがヘディングだしさらに入り易い」ということは誤りだということはない」ということは本当だということはない fact15: 仮にこのスキンヘッドは履行しないとすれば「その建設費はヘディングであるし一突きする」ということは成り立たない fact16: その裁判所名は入り易い fact17: その建設費は三国間でない fact18: その建設費は入り易くない fact19: その建設費は七卿だ fact20: このスキンヘッドはヘディングでないならば「その建設費は一突きしないがしかし履行する」ということは事実と異なる fact21: その建設費は履行しない
void -> assump1: 以下のように仮定する。「このスキンヘッドはヘディングだということはないがそれは入り易い」ということは嘘だ; fact3 & assump1 -> int1: このスキンヘッドは履行する; void -> assump2: 以下のように仮定する。このスキンヘッドは履行しない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このスキンヘッドはヘディングでないけど入り易い; int3 -> int4: このスキンヘッドはヘディングでない; int4 & fact8 -> int5: 「その建設費はヘディングでないが一突きする」ということは偽である; [assump2] & int5 -> hypothesis;
$facts$ = fact1: もしこのスキンヘッドは履行しないならば「その建設費は入り易いということはないけどヘディングである」ということは偽だ fact2: あのタオルは履行しない fact3: もし「「このスキンヘッドはヘディングでないけれど入り易い」ということは真実だ」ということは成り立たないなら履行する fact4: もし仮にこのスキンヘッドはヘディングでないとすれば「その建設費がヘディングだしおまけに一突きする」ということは偽である fact5: もしこのスキンヘッドがヘディングだということはないならばあの建設費はヘディングでないけれどそれは一突きする fact6: あのピアノ・ソナタは入り易くない fact7: その建設費はヘディングでないがしかし一突きする fact8: 仮にこのスキンヘッドはヘディングでないなら「その建設費はヘディングでない一方で一突きする」ということは間違っている fact9: その建設費は入り易くないけれど一突きする fact10: その建設費は履行するということはないとすると「このスキンヘッドは一突きしないがヘディングである」ということは間違っている fact11: その営業中は一突きしない fact12: もしこのスキンヘッドが履行しないとしたらその建設費はヘディングでないがそれは一突きする fact13: 「その建設費はヘディングであるしそれは一突きする」ということは嘘である fact14: 「「このスキンヘッドがヘディングだしさらに入り易い」ということは誤りだということはない」ということは本当だということはない fact15: 仮にこのスキンヘッドは履行しないとすれば「その建設費はヘディングであるし一突きする」ということは成り立たない fact16: その裁判所名は入り易い fact17: その建設費は三国間でない fact18: その建設費は入り易くない fact19: その建設費は七卿だ fact20: このスキンヘッドはヘディングでないならば「その建設費は一突きしないがしかし履行する」ということは事実と異なる fact21: その建設費は履行しない ; $hypothesis$ = 「もしこのスキンヘッドは履行しないとしたら「その建設費はヘディングでないけれど一突きする」ということは成り立たない」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「このスキンヘッドはヘディングだということはないがそれは入り易い」ということは嘘だ; fact3 & assump1 -> int1: このスキンヘッドは履行する; void -> assump2: 以下のように仮定する。このスキンヘッドは履行しない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このスキンヘッドはヘディングでないけど入り易い; int3 -> int4: このスキンヘッドはヘディングでない; int4 & fact8 -> int5: 「その建設費はヘディングでないが一突きする」ということは偽である; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: もしこのスキンヘッドは履行しないならば「その建設費は入り易いということはないけどヘディングである」ということは偽だ
事実2: あのタオルは履行しない
事実3: もし「「このスキンヘッドはヘディングでないけれど入り易い」ということは真実だ」ということは成り立たないなら履行する
事実4: もし仮にこのスキンヘッドはヘディングでないとすれば「その建設費がヘディングだしおまけに一突きする」ということは偽である
事実5: もしこのスキンヘッドがヘディングだということはないならばあの建設費はヘディングでないけれどそれは一突きする
事実6: あのピアノ・ソナタは入り易くない
事実7: その建設費はヘディングでないがしかし一突きする
事実8: 仮にこのスキンヘッドはヘディングでないなら「その建設費はヘディングでない一方で一突きする」ということは間違っている
事実9: その建設費は入り易くないけれど一突きする
事実10: その建設費は履行するということはないとすると「このスキンヘッドは一突きしないがヘディングである」ということは間違っている
事実11: その営業中は一突きしない
事実12: もしこのスキンヘッドが履行しないとしたらその建設費はヘディングでないがそれは一突きする
事実13: 「その建設費はヘディングであるしそれは一突きする」ということは嘘である
事実14: 「「このスキンヘッドがヘディングだしさらに入り易い」ということは誤りだということはない」ということは本当だということはない
事実15: 仮にこのスキンヘッドは履行しないとすれば「その建設費はヘディングであるし一突きする」ということは成り立たない
事実16: その裁判所名は入り易い
事実17: その建設費は三国間でない
事実18: その建設費は入り易くない
事実19: その建設費は七卿だ
事実20: このスキンヘッドはヘディングでないならば「その建設費は一突きしないがしかし履行する」ということは事実と異なる
事実21: その建設費は履行しない

仮説: 「もしこのスキンヘッドは履行しないとしたら「その建設費はヘディングでないけれど一突きする」ということは成り立たない」ということは誤っている
1. 仮定1: 以下のように仮定する。「このスキンヘッドはヘディングだということはないがそれは入り易い」ということは嘘だ
2. 事実3と仮定1から、推論1: "このスキンヘッドは履行する"が導かれる
3. 仮定2: 以下のように仮定する。このスキンヘッドは履行しない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "このスキンヘッドはヘディングでないけど入り易い"が導かれる
6. 推論3から、推論4: "このスキンヘッドはヘディングでない"が導かれる
7. 推論4と事実8から、推論5: "「その建設費はヘディングでないが一突きする」ということは偽である"が導かれる
8. [仮定2]と推論5から、仮説が否定される

よって、仮説が否定されました。