「「この取り得は喫煙所でないしさらに観光するということはない」ということは偽だ」ということは確かだ
fact1: この取り得は観光するということはない fact2: もし仮に達成し易いものが観測するとしたらこの能開調査はクラローディエンスである fact3: 仮にこの能開調査は訓練次第であるならそれは喫煙所だ fact4: もしあの競りが夫側でないとすればあの剛直は達成し易くないがしかし観測する fact5: あの競りは夫側でない fact6: もし「この能開調査は観光する」ということは事実だとしたらこの取り得は観光しない fact7: クラローディエンスは訓練次第だ fact8: 何かは達成し易くない fact9: もしもある物が達成し易くないが観測するならこの能開調査はクラローディエンスである fact10: 「判決例でなくてＨＵＣな」物はある fact11: 訓練次第は観光する fact12: もし何かは夫側でないが観測するとすればあの競りは観光する fact13: もしもこの能開調査が観光するならこの取り得は喫煙所でないしさらにそれは観光しない fact14: あの剛直は達成し易くない fact15: もしあの競りが夫側であるということはないとしたらあの剛直は達成し易いということはない
fact4 & fact5 -> int1: あの剛直は達成し易くないけれど観測する; int1 -> int2: 「「達成し易くない一方で観測する」ということは事実である」物はある; int2 & fact9 -> int3: この能開調査はクラローディエンスだ; fact7 -> int4: もし仮にこの能開調査はクラローディエンスであるならそれは訓練次第だ; int3 & int4 -> int5: この能開調査は訓練次第だ; fact11 -> int6: 仮にこの能開調査が訓練次第だとするとそれは観光する; int5 & int6 -> int7: この能開調査は観光する; int7 & fact13 -> hypothesis;
$facts$ = fact1: この取り得は観光するということはない fact2: もし仮に達成し易いものが観測するとしたらこの能開調査はクラローディエンスである fact3: 仮にこの能開調査は訓練次第であるならそれは喫煙所だ fact4: もしあの競りが夫側でないとすればあの剛直は達成し易くないがしかし観測する fact5: あの競りは夫側でない fact6: もし「この能開調査は観光する」ということは事実だとしたらこの取り得は観光しない fact7: クラローディエンスは訓練次第だ fact8: 何かは達成し易くない fact9: もしもある物が達成し易くないが観測するならこの能開調査はクラローディエンスである fact10: 「判決例でなくてＨＵＣな」物はある fact11: 訓練次第は観光する fact12: もし何かは夫側でないが観測するとすればあの競りは観光する fact13: もしもこの能開調査が観光するならこの取り得は喫煙所でないしさらにそれは観光しない fact14: あの剛直は達成し易くない fact15: もしあの競りが夫側であるということはないとしたらあの剛直は達成し易いということはない ; $hypothesis$ = 「「この取り得は喫煙所でないしさらに観光するということはない」ということは偽だ」ということは確かだ ; $proof$ = 
fact4 & fact5 -> int1: あの剛直は達成し易くないけれど観測する; int1 -> int2: 「「達成し易くない一方で観測する」ということは事実である」物はある; int2 & fact9 -> int3: この能開調査はクラローディエンスだ; fact7 -> int4: もし仮にこの能開調査はクラローディエンスであるならそれは訓練次第だ; int3 & int4 -> int5: この能開調査は訓練次第だ; fact11 -> int6: 仮にこの能開調査が訓練次第だとするとそれは観光する; int5 & int6 -> int7: この能開調査は観光する; int7 & fact13 -> hypothesis; __DISPROVED__
事実1: この取り得は観光するということはない
事実2: もし仮に達成し易いものが観測するとしたらこの能開調査はクラローディエンスである
事実3: 仮にこの能開調査は訓練次第であるならそれは喫煙所だ
事実4: もしあの競りが夫側でないとすればあの剛直は達成し易くないがしかし観測する
事実5: あの競りは夫側でない
事実6: もし「この能開調査は観光する」ということは事実だとしたらこの取り得は観光しない
事実7: クラローディエンスは訓練次第だ
事実8: 何かは達成し易くない
事実9: もしもある物が達成し易くないが観測するならこの能開調査はクラローディエンスである
事実10: 「判決例でなくてＨＵＣな」物はある
事実11: 訓練次第は観光する
事実12: もし何かは夫側でないが観測するとすればあの競りは観光する
事実13: もしもこの能開調査が観光するならこの取り得は喫煙所でないしさらにそれは観光しない
事実14: あの剛直は達成し易くない
事実15: もしあの競りが夫側であるということはないとしたらあの剛直は達成し易いということはない

仮説: 「「この取り得は喫煙所でないしさらに観光するということはない」ということは偽だ」ということは確かだ
1. 事実4と事実5から、推論1: "あの剛直は達成し易くないけれど観測する"が導かれる
2. 推論1から、推論2: "「「達成し易くない一方で観測する」ということは事実である」物はある"が導かれる
3. 推論2と事実9から、推論3: "この能開調査はクラローディエンスだ"が導かれる
4. 事実7から、推論4: "もし仮にこの能開調査はクラローディエンスであるならそれは訓練次第だ"が導かれる
5. 推論3と推論4から、推論5: "この能開調査は訓練次第だ"が導かれる
6. 事実11から、推論6: "仮にこの能開調査が訓練次第だとするとそれは観光する"が導かれる
7. 推論5と推論6から、推論7: "この能開調査は観光する"が導かれる
8. 推論7と事実13から、仮説が否定される

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