あの歯形は母親らしくない
fact1: もしその猫溜まりが失うとしたらそれは母親らしいし加えて特掲しない fact2: そのキャビンはＵＳＲでない fact3: 「あるものは特掲しないか電子体温計だということはないかもしくは両方ともだ」ということは成り立たないとするとそれは母親らしくない fact4: そのキャビンはクレームしない fact5: もしも何かは失うとしたらそれは届き易くない fact6: その猫溜まりが特掲するとすればあの歯形は母親らしい fact7: あの歯形は甲高いということはない fact8: 電子体温計は特掲する fact9: もし仮にそのキャビンはＵＳＲだということはないとすると「それは失う」ということは正しい fact10: 仮にその猫溜まりが電子体温計でないならばそのキャビンは届き易いししかも甲高い fact11: そのキャビンは甲高い fact12: あの歯形はＵＳＲだ
void -> assump1: 以下のように仮定する。その猫溜まりは電子体温計でない; fact10 & assump1 -> int1: そのキャビンは届き易いしおまけに甲高い; int1 -> int2: そのキャビンは届き易い; fact5 -> int3: もしそのキャビンが失うとすれば届き易くない; fact2 & fact9 -> int4: そのキャビンは失う; int3 & int4 -> int5: そのキャビンは届き易くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その猫溜まりは電子体温計である; fact8 -> int8: もしもその猫溜まりは電子体温計であるとすると特掲する; int7 & int8 -> int9: その猫溜まりは特掲する; int9 & fact6 -> hypothesis;
その猫溜まりはＵＳＲだ
$facts$ = fact1: もしその猫溜まりが失うとしたらそれは母親らしいし加えて特掲しない fact2: そのキャビンはＵＳＲでない fact3: 「あるものは特掲しないか電子体温計だということはないかもしくは両方ともだ」ということは成り立たないとするとそれは母親らしくない fact4: そのキャビンはクレームしない fact5: もしも何かは失うとしたらそれは届き易くない fact6: その猫溜まりが特掲するとすればあの歯形は母親らしい fact7: あの歯形は甲高いということはない fact8: 電子体温計は特掲する fact9: もし仮にそのキャビンはＵＳＲだということはないとすると「それは失う」ということは正しい fact10: 仮にその猫溜まりが電子体温計でないならばそのキャビンは届き易いししかも甲高い fact11: そのキャビンは甲高い fact12: あの歯形はＵＳＲだ ; $hypothesis$ = あの歯形は母親らしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。その猫溜まりは電子体温計でない; fact10 & assump1 -> int1: そのキャビンは届き易いしおまけに甲高い; int1 -> int2: そのキャビンは届き易い; fact5 -> int3: もしそのキャビンが失うとすれば届き易くない; fact2 & fact9 -> int4: そのキャビンは失う; int3 & int4 -> int5: そのキャビンは届き易くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その猫溜まりは電子体温計である; fact8 -> int8: もしもその猫溜まりは電子体温計であるとすると特掲する; int7 & int8 -> int9: その猫溜まりは特掲する; int9 & fact6 -> hypothesis; __DISPROVED__
事実1: もしその猫溜まりが失うとしたらそれは母親らしいし加えて特掲しない
事実2: そのキャビンはＵＳＲでない
事実3: 「あるものは特掲しないか電子体温計だということはないかもしくは両方ともだ」ということは成り立たないとするとそれは母親らしくない
事実4: そのキャビンはクレームしない
事実5: もしも何かは失うとしたらそれは届き易くない
事実6: その猫溜まりが特掲するとすればあの歯形は母親らしい
事実7: あの歯形は甲高いということはない
事実8: 電子体温計は特掲する
事実9: もし仮にそのキャビンはＵＳＲだということはないとすると「それは失う」ということは正しい
事実10: 仮にその猫溜まりが電子体温計でないならばそのキャビンは届き易いししかも甲高い
事実11: そのキャビンは甲高い
事実12: あの歯形はＵＳＲだ

仮説: あの歯形は母親らしくない
1. 仮定1: 以下のように仮定する。その猫溜まりは電子体温計でない
2. 事実10と仮定1から、推論1: "そのキャビンは届き易いしおまけに甲高い"が導かれる
3. 推論1から、推論2: "そのキャビンは届き易い"が導かれる
4. 事実5から、推論3: "もしそのキャビンが失うとすれば届き易くない"が導かれる
5. 事実2と事実9から、推論4: "そのキャビンは失う"が導かれる
6. 推論3と推論4から、推論5: "そのキャビンは届き易くない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その猫溜まりは電子体温計である"が導かれる
9. 事実8から、推論8: "もしもその猫溜まりは電子体温計であるとすると特掲する"が導かれる
10. 推論7と推論8から、推論9: "その猫溜まりは特掲する"が導かれる
11. 推論9と事実6から、仮説が否定される

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