このロータスは三分割する
fact1: このトラッキングは小煩いかバイゴットでないかもしくは両方である fact2: このトラッキングは検査出来る fact3: 仮にとあるものは埋め合わせるしさらに検査出来るならそれはＴＰＯでない fact4: この石核が小煩いということはないならこのロータスはエロいし加えて三分割する fact5: もし「このロータスは許可しない」ということは本当だとすればこのトラッキングは三分割しない fact6: 仮にこのロータスがＴＰＯでないとするとこのトラッキングはエロい fact7: なにがしかのものが制止するしさらに諮問するならそれは絶望し掛けるということはない fact8: あの二芯は検査出来ない fact9: このトラッキングが三分割しないならばこのロータスはバイゴットである fact10: もしもこのトラッキングがバイゴットでないとすればこの石核は小煩くない fact11: もしもこのトラッキングが埋め合わせないしまた検査出来ないならばこのロータスは三分割しない fact12: もしもこのトラッキングは許可すれば「この石核は小煩くない」ということは成り立つ fact13: もし仮に「このトラッキングは埋め合わせるしかつ検査出来る」ということは誤りだとしたらこの石核は三分割しない fact14: あの個人活動は小煩い fact15: このトラッキングは埋め合わせる fact16: もし仮にこのトラッキングが許可するとしたらこの石核は小煩い fact17: このロータスは小煩い fact18: もしも何らかのものはＴＰＯであるということはないとしたら「それは許可するかあるいはそれはバイゴットだということはないかどちらもだ」ということは成り立つ fact19: この石核はバイゴットだ
fact15 & fact2 -> int1: このトラッキングは埋め合わせるしかつ検査出来る; fact3 -> int2: 「このトラッキングが埋め合わせるしおまけに検査出来るならこのトラッキングはＴＰＯでない」ということは嘘でない; int1 & int2 -> int3: このトラッキングはＴＰＯでない; fact18 -> int4: 仮にこのトラッキングがＴＰＯでないならそれは許可するかもしくはそれはバイゴットでない; int3 & int4 -> int5: このトラッキングは許可するかあるいはそれはバイゴットだということはないか両方ともである; int5 & fact12 & fact10 -> int6: この石核は小煩くない; int6 & fact4 -> int7: 「このロータスはエロいしまた三分割する」ということは事実である; int7 -> hypothesis;
このロータスは三分割しない
$facts$ = fact1: このトラッキングは小煩いかバイゴットでないかもしくは両方である fact2: このトラッキングは検査出来る fact3: 仮にとあるものは埋め合わせるしさらに検査出来るならそれはＴＰＯでない fact4: この石核が小煩いということはないならこのロータスはエロいし加えて三分割する fact5: もし「このロータスは許可しない」ということは本当だとすればこのトラッキングは三分割しない fact6: 仮にこのロータスがＴＰＯでないとするとこのトラッキングはエロい fact7: なにがしかのものが制止するしさらに諮問するならそれは絶望し掛けるということはない fact8: あの二芯は検査出来ない fact9: このトラッキングが三分割しないならばこのロータスはバイゴットである fact10: もしもこのトラッキングがバイゴットでないとすればこの石核は小煩くない fact11: もしもこのトラッキングが埋め合わせないしまた検査出来ないならばこのロータスは三分割しない fact12: もしもこのトラッキングは許可すれば「この石核は小煩くない」ということは成り立つ fact13: もし仮に「このトラッキングは埋め合わせるしかつ検査出来る」ということは誤りだとしたらこの石核は三分割しない fact14: あの個人活動は小煩い fact15: このトラッキングは埋め合わせる fact16: もし仮にこのトラッキングが許可するとしたらこの石核は小煩い fact17: このロータスは小煩い fact18: もしも何らかのものはＴＰＯであるということはないとしたら「それは許可するかあるいはそれはバイゴットだということはないかどちらもだ」ということは成り立つ fact19: この石核はバイゴットだ ; $hypothesis$ = このロータスは三分割する ; $proof$ = 
fact15 & fact2 -> int1: このトラッキングは埋め合わせるしかつ検査出来る; fact3 -> int2: 「このトラッキングが埋め合わせるしおまけに検査出来るならこのトラッキングはＴＰＯでない」ということは嘘でない; int1 & int2 -> int3: このトラッキングはＴＰＯでない; fact18 -> int4: 仮にこのトラッキングがＴＰＯでないならそれは許可するかもしくはそれはバイゴットでない; int3 & int4 -> int5: このトラッキングは許可するかあるいはそれはバイゴットだということはないか両方ともである; int5 & fact12 & fact10 -> int6: この石核は小煩くない; int6 & fact4 -> int7: 「このロータスはエロいしまた三分割する」ということは事実である; int7 -> hypothesis; __PROVED__
事実1: このトラッキングは小煩いかバイゴットでないかもしくは両方である
事実2: このトラッキングは検査出来る
事実3: 仮にとあるものは埋め合わせるしさらに検査出来るならそれはＴＰＯでない
事実4: この石核が小煩いということはないならこのロータスはエロいし加えて三分割する
事実5: もし「このロータスは許可しない」ということは本当だとすればこのトラッキングは三分割しない
事実6: 仮にこのロータスがＴＰＯでないとするとこのトラッキングはエロい
事実7: なにがしかのものが制止するしさらに諮問するならそれは絶望し掛けるということはない
事実8: あの二芯は検査出来ない
事実9: このトラッキングが三分割しないならばこのロータスはバイゴットである
事実10: もしもこのトラッキングがバイゴットでないとすればこの石核は小煩くない
事実11: もしもこのトラッキングが埋め合わせないしまた検査出来ないならばこのロータスは三分割しない
事実12: もしもこのトラッキングは許可すれば「この石核は小煩くない」ということは成り立つ
事実13: もし仮に「このトラッキングは埋め合わせるしかつ検査出来る」ということは誤りだとしたらこの石核は三分割しない
事実14: あの個人活動は小煩い
事実15: このトラッキングは埋め合わせる
事実16: もし仮にこのトラッキングが許可するとしたらこの石核は小煩い
事実17: このロータスは小煩い
事実18: もしも何らかのものはＴＰＯであるということはないとしたら「それは許可するかあるいはそれはバイゴットだということはないかどちらもだ」ということは成り立つ
事実19: この石核はバイゴットだ

仮説: このロータスは三分割する
1. 事実15と事実2から、推論1: "このトラッキングは埋め合わせるしかつ検査出来る"が導かれる
2. 事実3から、推論2: "「このトラッキングが埋め合わせるしおまけに検査出来るならこのトラッキングはＴＰＯでない」ということは嘘でない"が導かれる
3. 推論1と推論2から、推論3: "このトラッキングはＴＰＯでない"が導かれる
4. 事実18から、推論4: "仮にこのトラッキングがＴＰＯでないならそれは許可するかもしくはそれはバイゴットでない"が導かれる
5. 推論3と推論4から、推論5: "このトラッキングは許可するかあるいはそれはバイゴットだということはないか両方ともである"が導かれる
6. 推論5と事実12と事実10から、推論6: "この石核は小煩くない"が導かれる
7. 推論6と事実4から、推論7: "「このロータスはエロいしまた三分割する」ということは事実である"が導かれる
8. 推論7から、仮説が導かれる

よって、仮説が証明されました。