「もしもこの博愛は選択眼なら「あの再点検はたどたどしいかまたはそれは自ら自身でない」ということは嘘である」ということは成り立たない
fact1: 「この博愛は逆様でないけど緩み易い」ということは本当である fact2: あの再点検は自ら自身でないがしかし避け切れる fact3: その考古学は肌寒い fact4: あの再点検はＦＣＲであるとしたら「この博愛は交戦するかまたはそれは自ら自身でないかあるいは両方ともだ」ということは本当だ fact5: この博愛は交戦しないがたどたどしい fact6: もし仮に肌寒いものは選択眼であるとしたら「その考古学は奥床しくない」ということは正しい fact7: あのトゥングース語は選択眼でないがしかし順位付けだ fact8: あの再点検は肌寒くてそれはたどたどしい fact9: この博愛は引き出し易い fact10: 全てのものは交戦するということはないがしかし避け切れる fact11: もしもあのトゥングース語が詮無いとすると悩ましい fact12: あの再点検はＦＣＲだ fact13: 奥床しいものはある fact14: どれもこれもは出芽する fact15: あの再点検は奥床しい fact16: その考古学は選任出来る fact17: あるものは交戦しないけれど避け切れればＦＣＲだ fact18: もし「この博愛は奥床しくない」ということは成り立つならその考古学は交戦する fact19: もし仮にその考古学は奥床しくないなら「あの再点検はたどたどしいか自ら自身でないかあるいはどちらもである」ということは成り立たない fact20: その考古学は弛み無い fact21: ＦＣＲは肌寒い fact22: 「その考古学はたどたどしいか創作物でないかまたは両方だ」ということは間違っている fact23: もし仮にあの再点検は奥床しいとすると「その考古学はたどたどしいか避け切れるということはないかまたはどちらもだ」ということは誤りだ fact24: 「あの民族解放は弁護士資格保持者であるかあるいはたどたどしくないかもしくは両方ともである」ということは成り立つということはない
fact10 -> int1: この博愛は交戦しない一方でそれは避け切れる; fact17 -> int2: もしもこの博愛は交戦しないがしかし避け切れるならそれはＦＣＲだ; int1 & int2 -> int3: この博愛はＦＣＲだ; fact21 -> int4: もしこの博愛がＦＣＲならそれは肌寒い; int3 & int4 -> int5: 「この博愛は肌寒い」ということは誤っていない; void -> assump1: 以下のように仮定する。この博愛は選択眼だ; int5 & assump1 -> int6: この博愛は肌寒くて更に選択眼である; int6 -> int7: あるものは肌寒いしそれに選択眼である; int7 & fact6 -> int8: その考古学は奥床しくない; int8 & fact19 -> int9: 「あの再点検はたどたどしいかまたはそれは自ら自身でない」ということは間違っている; [assump1] & int9 -> hypothesis;
$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$ = 
fact10 -> int1: この博愛は交戦しない一方でそれは避け切れる; fact17 -> int2: もしもこの博愛は交戦しないがしかし避け切れるならそれはＦＣＲだ; int1 & int2 -> int3: この博愛はＦＣＲだ; fact21 -> int4: もしこの博愛がＦＣＲならそれは肌寒い; int3 & int4 -> int5: 「この博愛は肌寒い」ということは誤っていない; void -> assump1: 以下のように仮定する。この博愛は選択眼だ; int5 & assump1 -> int6: この博愛は肌寒くて更に選択眼である; int6 -> int7: あるものは肌寒いしそれに選択眼である; int7 & fact6 -> int8: その考古学は奥床しくない; int8 & fact19 -> int9: 「あの再点検はたどたどしいかまたはそれは自ら自身でない」ということは間違っている; [assump1] & int9 -> 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. 事実10から、推論1: "この博愛は交戦しない一方でそれは避け切れる"が導かれる
2. 事実17から、推論2: "もしもこの博愛は交戦しないがしかし避け切れるならそれはＦＣＲだ"が導かれる
3. 推論1と推論2から、推論3: "この博愛はＦＣＲだ"が導かれる
4. 事実21から、推論4: "もしこの博愛がＦＣＲならそれは肌寒い"が導かれる
5. 推論3と推論4から、推論5: "「この博愛は肌寒い」ということは誤っていない"が導かれる
6. 仮定1: 以下のように仮定する。この博愛は選択眼だ
7. 推論5と仮定1から、推論6: "この博愛は肌寒くて更に選択眼である"が導かれる
8. 推論6から、推論7: "あるものは肌寒いしそれに選択眼である"が導かれる
9. 推論7と事実6から、推論8: "その考古学は奥床しくない"が導かれる
10. 推論8と事実19から、推論9: "「あの再点検はたどたどしいかまたはそれは自ら自身でない」ということは間違っている"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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