この計算処理は基本条約でない
fact1: その荼毘は安らぐ fact2: もし仮にその荼毘はＦユニットであるとすると「それがインド人であるかもしくはそれが安らはない」ということは成り立たない fact3: 「「Ｆユニットであるかあるいは用心深い」ということは嘘である」ものはある fact4: 「「宇宙神であるかまたは裏書き譲渡するかまたはどちらもである」ということは成り立たない」物はある fact5: あの不法行為説は基本条約でない fact6: とある物はＦユニットであるかあるいは用心深くないかまたはどちらもだ fact7: もしもその荼毘は払拭するとしたら「Ｆユニットであるかあるいは用心深いということはない」ということは成り立つということはない fact8: 何かは払拭する fact9: 「「生易しいか睫筆である」ということは成り立たない」ものはある fact10: この計算処理は払拭しない fact11: この人物本位は払拭する fact12: もし仮にこの計算処理は払拭すれば「それは基本条約であるかもしくはそれはＦユニットでないかあるいは両方だ」ということは偽である fact13: 「移り難くない」ものはある fact14: もし仮に「「Ｆユニットであるかもしくは払拭しない」ということは正しくない」物があるとするとその荼毘は用心深い fact15: 仮に「その荼毘は拡大再生産する」ということは事実であるとしたら「食べ終えるかまたはＦユニットでない」ということは成り立たない fact16: その荼毘は払拭する fact17: 「基本条約でない」物はある fact18: もし仮に「その荼毘は払拭する」ということは確かならばそれは用心深い fact19: その荼毘は底堅い fact20: 「「払拭するかあるいは基本条約であるかもしくはどちらもである」ということは成り立たない」ものはある fact21: 「何かは怪しくないし払拭しない」ということは間違いだとすると「基本条約であるということはない」ということは正しい fact22: 「「Ｆユニットであるか用心深くないかまたは両方ともである」ということは事実と異なる」物があるとすればこの計算処理は基本条約である fact23: 「希望しない」ものはある fact24: もしこの計算処理は共鳴し易いとしたら「「下宿するかまたはＦユニットでない」ということは真実だ」ということは偽である
fact7 & fact16 -> int1: 「「その荼毘はＦユニットであるかあるいはそれは用心深くないかもしくはどちらもである」ということは成り立たない」ということは成り立つ; int1 -> int2: 「「Ｆユニットであるか用心深くない」ということは成り立たない」ものはある; int2 & fact22 -> hypothesis;
この計算処理は基本条約でない
fact25 -> int3: 「この計算処理は怪しくないしおまけに払拭しない」ということは成り立たないならばそれは基本条約だということはない;
$facts$ = fact1: その荼毘は安らぐ fact2: もし仮にその荼毘はＦユニットであるとすると「それがインド人であるかもしくはそれが安らはない」ということは成り立たない fact3: 「「Ｆユニットであるかあるいは用心深い」ということは嘘である」ものはある fact4: 「「宇宙神であるかまたは裏書き譲渡するかまたはどちらもである」ということは成り立たない」物はある fact5: あの不法行為説は基本条約でない fact6: とある物はＦユニットであるかあるいは用心深くないかまたはどちらもだ fact7: もしもその荼毘は払拭するとしたら「Ｆユニットであるかあるいは用心深いということはない」ということは成り立つということはない fact8: 何かは払拭する fact9: 「「生易しいか睫筆である」ということは成り立たない」ものはある fact10: この計算処理は払拭しない fact11: この人物本位は払拭する fact12: もし仮にこの計算処理は払拭すれば「それは基本条約であるかもしくはそれはＦユニットでないかあるいは両方だ」ということは偽である fact13: 「移り難くない」ものはある fact14: もし仮に「「Ｆユニットであるかもしくは払拭しない」ということは正しくない」物があるとするとその荼毘は用心深い fact15: 仮に「その荼毘は拡大再生産する」ということは事実であるとしたら「食べ終えるかまたはＦユニットでない」ということは成り立たない fact16: その荼毘は払拭する fact17: 「基本条約でない」物はある fact18: もし仮に「その荼毘は払拭する」ということは確かならばそれは用心深い fact19: その荼毘は底堅い fact20: 「「払拭するかあるいは基本条約であるかもしくはどちらもである」ということは成り立たない」ものはある fact21: 「何かは怪しくないし払拭しない」ということは間違いだとすると「基本条約であるということはない」ということは正しい fact22: 「「Ｆユニットであるか用心深くないかまたは両方ともである」ということは事実と異なる」物があるとすればこの計算処理は基本条約である fact23: 「希望しない」ものはある fact24: もしこの計算処理は共鳴し易いとしたら「「下宿するかまたはＦユニットでない」ということは真実だ」ということは偽である ; $hypothesis$ = この計算処理は基本条約でない ; $proof$ = 
fact7 & fact16 -> int1: 「「その荼毘はＦユニットであるかあるいはそれは用心深くないかもしくはどちらもである」ということは成り立たない」ということは成り立つ; int1 -> int2: 「「Ｆユニットであるか用心深くない」ということは成り立たない」ものはある; int2 & fact22 -> hypothesis; __DISPROVED__
事実1: その荼毘は安らぐ
事実2: もし仮にその荼毘はＦユニットであるとすると「それがインド人であるかもしくはそれが安らはない」ということは成り立たない
事実3: 「「Ｆユニットであるかあるいは用心深い」ということは嘘である」ものはある
事実4: 「「宇宙神であるかまたは裏書き譲渡するかまたはどちらもである」ということは成り立たない」物はある
事実5: あの不法行為説は基本条約でない
事実6: とある物はＦユニットであるかあるいは用心深くないかまたはどちらもだ
事実7: もしもその荼毘は払拭するとしたら「Ｆユニットであるかあるいは用心深いということはない」ということは成り立つということはない
事実8: 何かは払拭する
事実9: 「「生易しいか睫筆である」ということは成り立たない」ものはある
事実10: この計算処理は払拭しない
事実11: この人物本位は払拭する
事実12: もし仮にこの計算処理は払拭すれば「それは基本条約であるかもしくはそれはＦユニットでないかあるいは両方だ」ということは偽である
事実13: 「移り難くない」ものはある
事実14: もし仮に「「Ｆユニットであるかもしくは払拭しない」ということは正しくない」物があるとするとその荼毘は用心深い
事実15: 仮に「その荼毘は拡大再生産する」ということは事実であるとしたら「食べ終えるかまたはＦユニットでない」ということは成り立たない
事実16: その荼毘は払拭する
事実17: 「基本条約でない」物はある
事実18: もし仮に「その荼毘は払拭する」ということは確かならばそれは用心深い
事実19: その荼毘は底堅い
事実20: 「「払拭するかあるいは基本条約であるかもしくはどちらもである」ということは成り立たない」ものはある
事実21: 「何かは怪しくないし払拭しない」ということは間違いだとすると「基本条約であるということはない」ということは正しい
事実22: 「「Ｆユニットであるか用心深くないかまたは両方ともである」ということは事実と異なる」物があるとすればこの計算処理は基本条約である
事実23: 「希望しない」ものはある
事実24: もしこの計算処理は共鳴し易いとしたら「「下宿するかまたはＦユニットでない」ということは真実だ」ということは偽である

仮説: この計算処理は基本条約でない
1. 事実7と事実16から、推論1: "「「その荼毘はＦユニットであるかあるいはそれは用心深くないかもしくはどちらもである」ということは成り立たない」ということは成り立つ"が導かれる
2. 推論1から、推論2: "「「Ｆユニットであるか用心深くない」ということは成り立たない」ものはある"が導かれる
3. 推論2と事実22から、仮説が否定される

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