「その凡眼は清々しくてかつリモートサイトである」ということは間違いである
fact1: その凡眼は信心深くない一方でそれは妍だ fact2: なにがしかのものは法現象だけれどそれはオペレーションしない fact3: その除菌は薬屋でない fact4: 信心深くないものは妍であるならばそれは女名前だ fact5: 仮に「何らかの物は投げ与えるけれど薬屋でない」ということは真実であるとすると「その凡眼はリモートサイトである」ということは確かである fact6: 仮にその除菌は女名前であるということはないとしたら「その凡眼は清々しいしかつリモートサイトである」ということは誤っている fact7: あらゆるものは投げ与えるが薬屋でない fact8: もしなにがしかのものが投げ与えるしそれにそれは薬屋であるならば女名前でない fact9: 女名前は清々しい fact10: もしその除菌が投げ与えるとすればリモートサイトである fact11: その凡眼は妍である fact12: とあるものは投げ与える
fact4 -> int1: もしもその凡眼は信心深くないけれど妍だとしたらそれは女名前である; int1 & fact1 -> int2: その凡眼は女名前である; fact9 -> int3: もしその凡眼は女名前であるとすればそれは清々しい; int2 & int3 -> int4: その凡眼は清々しい; fact7 -> int5: その除菌は投げ与えるけれどそれは薬屋でない; int5 -> int6: 「投げ与えるけど薬屋でない」物はある; fact5 & int6 -> int7: その凡眼はリモートサイトだ; int4 & int7 -> hypothesis;
「その凡眼は清々しくてそれにそれはリモートサイトだ」ということは間違いだ
fact13 -> int8: その除菌が投げ与えるしそれが薬屋ならば女名前でない;
$facts$ = fact1: その凡眼は信心深くない一方でそれは妍だ fact2: なにがしかのものは法現象だけれどそれはオペレーションしない fact3: その除菌は薬屋でない fact4: 信心深くないものは妍であるならばそれは女名前だ fact5: 仮に「何らかの物は投げ与えるけれど薬屋でない」ということは真実であるとすると「その凡眼はリモートサイトである」ということは確かである fact6: 仮にその除菌は女名前であるということはないとしたら「その凡眼は清々しいしかつリモートサイトである」ということは誤っている fact7: あらゆるものは投げ与えるが薬屋でない fact8: もしなにがしかのものが投げ与えるしそれにそれは薬屋であるならば女名前でない fact9: 女名前は清々しい fact10: もしその除菌が投げ与えるとすればリモートサイトである fact11: その凡眼は妍である fact12: とあるものは投げ与える ; $hypothesis$ = 「その凡眼は清々しくてかつリモートサイトである」ということは間違いである ; $proof$ = 
fact4 -> int1: もしもその凡眼は信心深くないけれど妍だとしたらそれは女名前である; int1 & fact1 -> int2: その凡眼は女名前である; fact9 -> int3: もしその凡眼は女名前であるとすればそれは清々しい; int2 & int3 -> int4: その凡眼は清々しい; fact7 -> int5: その除菌は投げ与えるけれどそれは薬屋でない; int5 -> int6: 「投げ与えるけど薬屋でない」物はある; fact5 & int6 -> int7: その凡眼はリモートサイトだ; int4 & int7 -> hypothesis; __DISPROVED__
事実1: その凡眼は信心深くない一方でそれは妍だ
事実2: なにがしかのものは法現象だけれどそれはオペレーションしない
事実3: その除菌は薬屋でない
事実4: 信心深くないものは妍であるならばそれは女名前だ
事実5: 仮に「何らかの物は投げ与えるけれど薬屋でない」ということは真実であるとすると「その凡眼はリモートサイトである」ということは確かである
事実6: 仮にその除菌は女名前であるということはないとしたら「その凡眼は清々しいしかつリモートサイトである」ということは誤っている
事実7: あらゆるものは投げ与えるが薬屋でない
事実8: もしなにがしかのものが投げ与えるしそれにそれは薬屋であるならば女名前でない
事実9: 女名前は清々しい
事実10: もしその除菌が投げ与えるとすればリモートサイトである
事実11: その凡眼は妍である
事実12: とあるものは投げ与える

仮説: 「その凡眼は清々しくてかつリモートサイトである」ということは間違いである
1. 事実4から、推論1: "もしもその凡眼は信心深くないけれど妍だとしたらそれは女名前である"が導かれる
2. 推論1と事実1から、推論2: "その凡眼は女名前である"が導かれる
3. 事実9から、推論3: "もしその凡眼は女名前であるとすればそれは清々しい"が導かれる
4. 推論2と推論3から、推論4: "その凡眼は清々しい"が導かれる
5. 事実7から、推論5: "その除菌は投げ与えるけれどそれは薬屋でない"が導かれる
6. 推論5から、推論6: "「投げ与えるけど薬屋でない」物はある"が導かれる
7. 事実5と推論6から、推論7: "その凡眼はリモートサイトだ"が導かれる
8. 推論4と推論7から、仮説が否定される

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