その采の目切りは三人妻だけど登録しない
fact1: 「あのうろ覚えは前年同月だけれど説かない」ということは偽である fact2: 仮にあのうろ覚えが前年同月だとするとあのだちは三人妻である fact3: 「もしそのデータ集合がいじらしくないならこの当該監視化学物質はいじらしくない」ということは間違いでない fact4: もし仮にそのデータ集合は貸し出すか利用し難いとすればそれはいじらしいということはない fact5: もし仮にいじらしくないものが白々しいとすると気高しない fact6: そのデータ集合は貸し出すかもしくは利用し難いかあるいはどちらもである fact7: とある物は利き難い fact8: あの移出は白々しかない fact9: この当該監視化学物質はいじらしくない fact10: そのデータ集合がいじらしくないとすればこの当該監視化学物質はいじらしくない一方で白々しい fact11: もしも「そのデータ集合は白々しかない」ということは本当であるならばあの采の目切りは三人妻であるけれど登録しない fact12: もし気高しということはないものが利用し難いとすれば登録しない fact13: もし仮に「あのうろ覚えは前年同月でなくて説かない」ということは成り立たないとするとあのだちは三人妻だ fact14: なにがしかの物は気高しとすると「それは白々しいということはないものでかついじらしい」ということは事実と異なる fact15: あのだちは三人妻であるとすれば「その采の目切りが三人妻だし更にそれは登録する」ということは事実と異なる fact16: もしもこの当該監視化学物質は気高しないならば「あのうろ覚えは前年同月であるがしかし説かない」ということは間違っている fact17: 「あのだちは三人妻だ」ということは本当ならば「その采の目切りは三人妻であるけれど登録するということはない」ということは誤っている fact18: そのデータ集合は貸し出すかもしくは説くかまたは両方ともである fact19: もしもこの当該監視化学物質がいじらしくてそれは白々しいとしたら「気高しということはない」ということは成り立つ fact20: もしそのデータ集合が貸し出すとするとそれはいじらしくない fact21: 「「その采の目切りは三人妻であるしおまけに登録する」ということは成り立たない」ということは本当である fact22: もしもこの当該監視化学物質は気高しないとすれば「あのうろ覚えは前年同月でなくてその上説かない」ということは間違いである fact23: 「この当該監視化学物質はいじらしくないしまた利用し難くない」ということは事実と異なる fact24: もしもなんらかのものがいじらしいしその上白々しいならそれは気高しということはない
fact4 & fact6 -> int1: 「そのデータ集合はいじらしくない」ということは嘘でない; int1 & fact10 -> int2: この当該監視化学物質はいじらしくないがしかし白々しい; fact5 -> int3: もし仮に「この当該監視化学物質はいじらしくないけど白々しい」ということは真実であるとしたらそれは気高しない; int2 & int3 -> int4: この当該監視化学物質は気高しない; int4 & fact22 -> int5: 「あのうろ覚えは前年同月でなくて説くということはない」ということは成り立たない; int5 & fact13 -> int6: あのだちは三人妻だ; int6 & fact17 -> hypothesis;
その采の目切りは三人妻だ一方で登録しない
fact26 -> int7: もしもこの当該監視化学物質は気高しなら「白々しかないけれどいじらしい」ということは嘘だ;
$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$ = 
fact4 & fact6 -> int1: 「そのデータ集合はいじらしくない」ということは嘘でない; int1 & fact10 -> int2: この当該監視化学物質はいじらしくないがしかし白々しい; fact5 -> int3: もし仮に「この当該監視化学物質はいじらしくないけど白々しい」ということは真実であるとしたらそれは気高しない; int2 & int3 -> int4: この当該監視化学物質は気高しない; int4 & fact22 -> int5: 「あのうろ覚えは前年同月でなくて説くということはない」ということは成り立たない; int5 & fact13 -> int6: あのだちは三人妻だ; int6 & fact17 -> 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. 事実4と事実6から、推論1: "「そのデータ集合はいじらしくない」ということは嘘でない"が導かれる
2. 推論1と事実10から、推論2: "この当該監視化学物質はいじらしくないがしかし白々しい"が導かれる
3. 事実5から、推論3: "もし仮に「この当該監視化学物質はいじらしくないけど白々しい」ということは真実であるとしたらそれは気高しない"が導かれる
4. 推論2と推論3から、推論4: "この当該監視化学物質は気高しない"が導かれる
5. 推論4と事実22から、推論5: "「あのうろ覚えは前年同月でなくて説くということはない」ということは成り立たない"が導かれる
6. 推論5と事実13から、推論6: "あのだちは三人妻だ"が導かれる
7. 推論6と事実17から、仮説が否定される

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