「その三十五時間未満は老いるかあるいはそれは沐浴でないか両方だ」ということは成り立たない
fact1: この大局は腐敗・堕落する fact2: もし仮に「この尊崇は分かり辛くて軽々しい」ということは成り立たないとするとそれは分かり辛くない fact3: もし仮にこの尊崇は甚振り殺すけれど尖むということはないとすると表現すらない fact4: もし仮にこの大局が床しいということはないとすればこの尊崇は喜び合うが床しかない fact5: その三十五時間未満は猛々しくない fact6: もしもその三十五時間未満は床しいとしたら「この大局は御答え出来るがしかし床しかない」ということは本当である fact7: 「この尊崇は床しいかそれは御答え出来ないかあるいは両方ともである」ということは事実と異なれば喜び合う fact8: この大局は重ね付けする fact9: この尊崇は御答え出来る fact10: もしも何かは喜び合うがそれが床しかないとするとそれは分かり辛い fact11: その三十五時間未満は喜び合う fact12: この尊崇は甚振り殺すがしかし尖むということはない fact13: もし「なんらかのものは老いるかもしくは沐浴だということはないかあるいは両方だ」ということは誤っているとすればそれは床しい fact14: もし仮に「その三十五時間未満は床しいかもしくは表現すらない」ということは事実と異なるとすれば分かり辛い fact15: もしもこの尊崇は表現すらないとすると「分かり辛いし加えて軽々しい」ということは成り立たない fact16: 仮に「「何らかの物は老いるかもしくは沐浴であるか両方である」ということは真実だ」ということは事実と異なるならそれは床しい fact17: そのセキュリティポリシーは喜び合う fact18: この尊崇は御答え出来るかあるいは甚振り殺す
fact13 -> int1: もし「その三十五時間未満は老いるかあるいは沐浴でない」ということは誤りであるなら「それは床しい」ということは成り立つ; void -> assump1: 以下のように仮定する。「その三十五時間未満は老いるかあるいは沐浴でないかどちらもだ」ということは間違いだ; int1 & assump1 -> int2: その三十五時間未満は床しい; int2 & fact6 -> int3: この大局は御答え出来るがしかし床しかない; int3 -> int4: 「この大局は床しかない」ということは成り立つ; int4 & fact4 -> int5: この尊崇は喜び合うがしかしそれは床しかない; fact10 -> int6: もし仮にこの尊崇が喜び合うがそれが床しかないならば分かり辛い; int5 & int6 -> int7: この尊崇は分かり辛い; fact3 & fact12 -> int8: この尊崇は表現すらない; fact15 & int8 -> int9: 「この尊崇は分かり辛いししかも軽々しい」ということは誤りだ; fact2 & int9 -> int10: この尊崇は分かり辛くない; int7 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
$facts$ = fact1: この大局は腐敗・堕落する fact2: もし仮に「この尊崇は分かり辛くて軽々しい」ということは成り立たないとするとそれは分かり辛くない fact3: もし仮にこの尊崇は甚振り殺すけれど尖むということはないとすると表現すらない fact4: もし仮にこの大局が床しいということはないとすればこの尊崇は喜び合うが床しかない fact5: その三十五時間未満は猛々しくない fact6: もしもその三十五時間未満は床しいとしたら「この大局は御答え出来るがしかし床しかない」ということは本当である fact7: 「この尊崇は床しいかそれは御答え出来ないかあるいは両方ともである」ということは事実と異なれば喜び合う fact8: この大局は重ね付けする fact9: この尊崇は御答え出来る fact10: もしも何かは喜び合うがそれが床しかないとするとそれは分かり辛い fact11: その三十五時間未満は喜び合う fact12: この尊崇は甚振り殺すがしかし尖むということはない fact13: もし「なんらかのものは老いるかもしくは沐浴だということはないかあるいは両方だ」ということは誤っているとすればそれは床しい fact14: もし仮に「その三十五時間未満は床しいかもしくは表現すらない」ということは事実と異なるとすれば分かり辛い fact15: もしもこの尊崇は表現すらないとすると「分かり辛いし加えて軽々しい」ということは成り立たない fact16: 仮に「「何らかの物は老いるかもしくは沐浴であるか両方である」ということは真実だ」ということは事実と異なるならそれは床しい fact17: そのセキュリティポリシーは喜び合う fact18: この尊崇は御答え出来るかあるいは甚振り殺す ; $hypothesis$ = 「その三十五時間未満は老いるかあるいはそれは沐浴でないか両方だ」ということは成り立たない ; $proof$ = 
fact13 -> int1: もし「その三十五時間未満は老いるかあるいは沐浴でない」ということは誤りであるなら「それは床しい」ということは成り立つ; void -> assump1: 以下のように仮定する。「その三十五時間未満は老いるかあるいは沐浴でないかどちらもだ」ということは間違いだ; int1 & assump1 -> int2: その三十五時間未満は床しい; int2 & fact6 -> int3: この大局は御答え出来るがしかし床しかない; int3 -> int4: 「この大局は床しかない」ということは成り立つ; int4 & fact4 -> int5: この尊崇は喜び合うがしかしそれは床しかない; fact10 -> int6: もし仮にこの尊崇が喜び合うがそれが床しかないならば分かり辛い; int5 & int6 -> int7: この尊崇は分かり辛い; fact3 & fact12 -> int8: この尊崇は表現すらない; fact15 & int8 -> int9: 「この尊崇は分かり辛いししかも軽々しい」ということは誤りだ; fact2 & int9 -> int10: この尊崇は分かり辛くない; int7 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis; __DISPROVED__
事実1: この大局は腐敗・堕落する
事実2: もし仮に「この尊崇は分かり辛くて軽々しい」ということは成り立たないとするとそれは分かり辛くない
事実3: もし仮にこの尊崇は甚振り殺すけれど尖むということはないとすると表現すらない
事実4: もし仮にこの大局が床しいということはないとすればこの尊崇は喜び合うが床しかない
事実5: その三十五時間未満は猛々しくない
事実6: もしもその三十五時間未満は床しいとしたら「この大局は御答え出来るがしかし床しかない」ということは本当である
事実7: 「この尊崇は床しいかそれは御答え出来ないかあるいは両方ともである」ということは事実と異なれば喜び合う
事実8: この大局は重ね付けする
事実9: この尊崇は御答え出来る
事実10: もしも何かは喜び合うがそれが床しかないとするとそれは分かり辛い
事実11: その三十五時間未満は喜び合う
事実12: この尊崇は甚振り殺すがしかし尖むということはない
事実13: もし「なんらかのものは老いるかもしくは沐浴だということはないかあるいは両方だ」ということは誤っているとすればそれは床しい
事実14: もし仮に「その三十五時間未満は床しいかもしくは表現すらない」ということは事実と異なるとすれば分かり辛い
事実15: もしもこの尊崇は表現すらないとすると「分かり辛いし加えて軽々しい」ということは成り立たない
事実16: 仮に「「何らかの物は老いるかもしくは沐浴であるか両方である」ということは真実だ」ということは事実と異なるならそれは床しい
事実17: そのセキュリティポリシーは喜び合う
事実18: この尊崇は御答え出来るかあるいは甚振り殺す

仮説: 「その三十五時間未満は老いるかあるいはそれは沐浴でないか両方だ」ということは成り立たない
1. 事実13から、推論1: "もし「その三十五時間未満は老いるかあるいは沐浴でない」ということは誤りであるなら「それは床しい」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。「その三十五時間未満は老いるかあるいは沐浴でないかどちらもだ」ということは間違いだ
3. 推論1と仮定1から、推論2: "その三十五時間未満は床しい"が導かれる
4. 推論2と事実6から、推論3: "この大局は御答え出来るがしかし床しかない"が導かれる
5. 推論3から、推論4: "「この大局は床しかない」ということは成り立つ"が導かれる
6. 推論4と事実4から、推論5: "この尊崇は喜び合うがしかしそれは床しかない"が導かれる
7. 事実10から、推論6: "もし仮にこの尊崇が喜び合うがそれが床しかないならば分かり辛い"が導かれる
8. 推論5と推論6から、推論7: "この尊崇は分かり辛い"が導かれる
9. 事実3と事実12から、推論8: "この尊崇は表現すらない"が導かれる
10. 事実15と推論8から、推論9: "「この尊崇は分かり辛いししかも軽々しい」ということは誤りだ"が導かれる
11. 事実2と推論9から、推論10: "この尊崇は分かり辛くない"が導かれる
12. 推論7と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が否定される

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