その箔打ち紙は争える
fact1: もし「その箔打ち紙は三つ年上でない」ということは事実であるならばこのドローイングは最終回であるしおまけにナショナルだ fact2: もし「「南安曇郡郷土調査叢書でないしおまけに最終回である」ということは嘘である」物があるならその箔打ち紙はナショナルだ fact3: もしもこのスプライ校が表現し直すとすればその箔打ち紙は争えるけれど三つ年上だということはない fact4: 三つ年上が争えるとするとそれは表現し直さない fact5: その箔打ち紙は腐り易くない fact6: もしもその箔打ち紙はナショナルであるとすると「三つ年上であるということはない」ということは誤っている fact7: その約十箇月後は表現し直す fact8: とあるものは母子体験でないがしかしコンポスト化だ fact9: その箔打ち紙は表現し直す fact10: もし仮に「何らかの物はハミングするししかもそれは固い」ということは事実ならそれは口惜しくない fact11: 仮になんらかの物が決議事項であるし発熱するならそれは狡っ辛くない fact12: この判例時報は表現し直さない fact13: 「この判例時報は南安曇郡郷土調査叢書でないがそれは最終回だ」ということは間違いである
fact13 -> int1: 「「南安曇郡郷土調査叢書でないけれど最終回だ」ということは正しくない」ものはある; int1 & fact2 -> int2: その箔打ち紙はナショナルである; int2 & fact6 -> int3: その箔打ち紙は三つ年上である; void -> assump1: 以下のように仮定する。その箔打ち紙は争える; int3 & assump1 -> int4: その箔打ち紙は三つ年上で争える; fact4 -> int5: もしも「その箔打ち紙は三つ年上でそれは争える」ということは成り立つとすればそれは表現し直さない; int4 & int5 -> int6: その箔打ち紙は表現し直さない; int6 & fact9 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
このドローイングは最終回だ
$facts$ = fact1: もし「その箔打ち紙は三つ年上でない」ということは事実であるならばこのドローイングは最終回であるしおまけにナショナルだ fact2: もし「「南安曇郡郷土調査叢書でないしおまけに最終回である」ということは嘘である」物があるならその箔打ち紙はナショナルだ fact3: もしもこのスプライ校が表現し直すとすればその箔打ち紙は争えるけれど三つ年上だということはない fact4: 三つ年上が争えるとするとそれは表現し直さない fact5: その箔打ち紙は腐り易くない fact6: もしもその箔打ち紙はナショナルであるとすると「三つ年上であるということはない」ということは誤っている fact7: その約十箇月後は表現し直す fact8: とあるものは母子体験でないがしかしコンポスト化だ fact9: その箔打ち紙は表現し直す fact10: もし仮に「何らかの物はハミングするししかもそれは固い」ということは事実ならそれは口惜しくない fact11: 仮になんらかの物が決議事項であるし発熱するならそれは狡っ辛くない fact12: この判例時報は表現し直さない fact13: 「この判例時報は南安曇郡郷土調査叢書でないがそれは最終回だ」ということは間違いである ; $hypothesis$ = その箔打ち紙は争える ; $proof$ = 
fact13 -> int1: 「「南安曇郡郷土調査叢書でないけれど最終回だ」ということは正しくない」ものはある; int1 & fact2 -> int2: その箔打ち紙はナショナルである; int2 & fact6 -> int3: その箔打ち紙は三つ年上である; void -> assump1: 以下のように仮定する。その箔打ち紙は争える; int3 & assump1 -> int4: その箔打ち紙は三つ年上で争える; fact4 -> int5: もしも「その箔打ち紙は三つ年上でそれは争える」ということは成り立つとすればそれは表現し直さない; int4 & int5 -> int6: その箔打ち紙は表現し直さない; int6 & fact9 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もし「その箔打ち紙は三つ年上でない」ということは事実であるならばこのドローイングは最終回であるしおまけにナショナルだ
事実2: もし「「南安曇郡郷土調査叢書でないしおまけに最終回である」ということは嘘である」物があるならその箔打ち紙はナショナルだ
事実3: もしもこのスプライ校が表現し直すとすればその箔打ち紙は争えるけれど三つ年上だということはない
事実4: 三つ年上が争えるとするとそれは表現し直さない
事実5: その箔打ち紙は腐り易くない
事実6: もしもその箔打ち紙はナショナルであるとすると「三つ年上であるということはない」ということは誤っている
事実7: その約十箇月後は表現し直す
事実8: とあるものは母子体験でないがしかしコンポスト化だ
事実9: その箔打ち紙は表現し直す
事実10: もし仮に「何らかの物はハミングするししかもそれは固い」ということは事実ならそれは口惜しくない
事実11: 仮になんらかの物が決議事項であるし発熱するならそれは狡っ辛くない
事実12: この判例時報は表現し直さない
事実13: 「この判例時報は南安曇郡郷土調査叢書でないがそれは最終回だ」ということは間違いである

仮説: その箔打ち紙は争える
1. 事実13から、推論1: "「「南安曇郡郷土調査叢書でないけれど最終回だ」ということは正しくない」ものはある"が導かれる
2. 推論1と事実2から、推論2: "その箔打ち紙はナショナルである"が導かれる
3. 推論2と事実6から、推論3: "その箔打ち紙は三つ年上である"が導かれる
4. 仮定1: 以下のように仮定する。その箔打ち紙は争える
5. 推論3と仮定1から、推論4: "その箔打ち紙は三つ年上で争える"が導かれる
6. 事実4から、推論5: "もしも「その箔打ち紙は三つ年上でそれは争える」ということは成り立つとすればそれは表現し直さない"が導かれる
7. 推論4と推論5から、推論6: "その箔打ち紙は表現し直さない"が導かれる
8. 推論6と事実9から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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