「その女店員は拍手喝采しないとすれば「その葫蘆は読み返すかまたはそれは算定し難くない」ということは誤りである」ということは成り立たない
fact1: 「その葫蘆は拍手喝采するか算定し難くないかもしくは両方である」ということは偽である fact2: その女店員は算定し難いかもしくはそれは拍手喝采するということはないかまたはどちらもである fact3: その女店員は失えるということはない fact4: その葫蘆が読み返すかまたは算定し難くないとすればその女店員は拍手喝采する fact5: その葫蘆は算定し難い fact6: もし仮にその葫蘆が算定し難くないとしたらその女店員は拍手喝采する fact7: 仮にその葫蘆が拍手喝采しないならばあの女店員は読み返す fact8: もし仮にその女店員が拍手喝采しないとすればその葫蘆は読み返すかあるいは算定し難くないかあるいは両方ともだ fact9: 「その葫蘆は拍手喝采しない」ということは成り立つ fact10: その女店員は見え難い fact11: その葫蘆は読み返すかあるいは算定し難いかもしくは両方だ fact12: あのアニメ制作は読み返す fact13: もしも「その女店員は算定し難いということはない」ということは成り立つならばあの葫蘆は読み返す fact14: その葫蘆は読み返す fact15: もしもその女店員が読み返すかもしくはそれが拍手喝采しないかまたはどちらもならばその葫蘆は算定し難い fact16: もしその女店員は読み返さないとすると「その葫蘆は算定し難いかまたは拍手喝采しないかまたはどちらもである」ということは成り立つということはない fact17: 「その女店員は裏拳であるかもしくはかりかりしないかもしくは両方である」ということは偽だ fact18: その女店員は拍手喝采するかまたは算定し難くないか両方ともだ
void -> assump1: 以下のように仮定する。その葫蘆は読み返すかまたは算定し難くない; fact4 & assump1 -> int1: その女店員は拍手喝采する; void -> assump2: 以下のように仮定する。その女店員は拍手喝采しない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その葫蘆は読み返すか算定し難くないかまたは両方ともである」ということは成り立たない; [assump2] & int3 -> hypothesis;
$facts$ = fact1: 「その葫蘆は拍手喝采するか算定し難くないかもしくは両方である」ということは偽である fact2: その女店員は算定し難いかもしくはそれは拍手喝采するということはないかまたはどちらもである fact3: その女店員は失えるということはない fact4: その葫蘆が読み返すかまたは算定し難くないとすればその女店員は拍手喝采する fact5: その葫蘆は算定し難い fact6: もし仮にその葫蘆が算定し難くないとしたらその女店員は拍手喝采する fact7: 仮にその葫蘆が拍手喝采しないならばあの女店員は読み返す fact8: もし仮にその女店員が拍手喝采しないとすればその葫蘆は読み返すかあるいは算定し難くないかあるいは両方ともだ fact9: 「その葫蘆は拍手喝采しない」ということは成り立つ fact10: その女店員は見え難い fact11: その葫蘆は読み返すかあるいは算定し難いかもしくは両方だ fact12: あのアニメ制作は読み返す fact13: もしも「その女店員は算定し難いということはない」ということは成り立つならばあの葫蘆は読み返す fact14: その葫蘆は読み返す fact15: もしもその女店員が読み返すかもしくはそれが拍手喝采しないかまたはどちらもならばその葫蘆は算定し難い fact16: もしその女店員は読み返さないとすると「その葫蘆は算定し難いかまたは拍手喝采しないかまたはどちらもである」ということは成り立つということはない fact17: 「その女店員は裏拳であるかもしくはかりかりしないかもしくは両方である」ということは偽だ fact18: その女店員は拍手喝采するかまたは算定し難くないか両方ともだ ; $hypothesis$ = 「その女店員は拍手喝采しないとすれば「その葫蘆は読み返すかまたはそれは算定し難くない」ということは誤りである」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その葫蘆は読み返すかまたは算定し難くない; fact4 & assump1 -> int1: その女店員は拍手喝采する; void -> assump2: 以下のように仮定する。その女店員は拍手喝采しない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その葫蘆は読み返すか算定し難くないかまたは両方ともである」ということは成り立たない; [assump2] & int3 -> hypothesis; __DISPROVED__
事実1: 「その葫蘆は拍手喝采するか算定し難くないかもしくは両方である」ということは偽である
事実2: その女店員は算定し難いかもしくはそれは拍手喝采するということはないかまたはどちらもである
事実3: その女店員は失えるということはない
事実4: その葫蘆が読み返すかまたは算定し難くないとすればその女店員は拍手喝采する
事実5: その葫蘆は算定し難い
事実6: もし仮にその葫蘆が算定し難くないとしたらその女店員は拍手喝采する
事実7: 仮にその葫蘆が拍手喝采しないならばあの女店員は読み返す
事実8: もし仮にその女店員が拍手喝采しないとすればその葫蘆は読み返すかあるいは算定し難くないかあるいは両方ともだ
事実9: 「その葫蘆は拍手喝采しない」ということは成り立つ
事実10: その女店員は見え難い
事実11: その葫蘆は読み返すかあるいは算定し難いかもしくは両方だ
事実12: あのアニメ制作は読み返す
事実13: もしも「その女店員は算定し難いということはない」ということは成り立つならばあの葫蘆は読み返す
事実14: その葫蘆は読み返す
事実15: もしもその女店員が読み返すかもしくはそれが拍手喝采しないかまたはどちらもならばその葫蘆は算定し難い
事実16: もしその女店員は読み返さないとすると「その葫蘆は算定し難いかまたは拍手喝采しないかまたはどちらもである」ということは成り立つということはない
事実17: 「その女店員は裏拳であるかもしくはかりかりしないかもしくは両方である」ということは偽だ
事実18: その女店員は拍手喝采するかまたは算定し難くないか両方ともだ

仮説: 「その女店員は拍手喝采しないとすれば「その葫蘆は読み返すかまたはそれは算定し難くない」ということは誤りである」ということは成り立たない
1. 仮定1: 以下のように仮定する。その葫蘆は読み返すかまたは算定し難くない
2. 事実4と仮定1から、推論1: "その女店員は拍手喝采する"が導かれる
3. 仮定2: 以下のように仮定する。その女店員は拍手喝采しない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「その葫蘆は読み返すか算定し難くないかまたは両方ともである」ということは成り立たない"が導かれる
6. [仮定2]と推論3から、仮説が否定される

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