この抽出器具は上書きしない
fact1: この進歩性はＧＭＳ業態であるしそれは娘らしい fact2: そのカルボニル炭素は御優しい fact3: なにがしかの物は野蒜でないしかつ放すということはないならば御優しくない fact4: そのカルボニル炭素は御優しいということはないしかつ出会い易くないなら「この抽出器具は上書きするということはない」ということは事実である fact5: 仮にそのカルボニル炭素は信じ難いということはない一方で伝染するとするとそれは出会い易い fact6: もしそのカルボニル炭素が出会い易くてそれに御優しいとすればこの抽出器具は野蒜でない fact7: もし仮に「この抽出器具は平たいし加えて放す」ということは嘘だとすると放すということはない fact8: もしなにがしかのものが放さなくてしかもそれは野蒜でないとしたらそれは上書きする fact9: もし何らかの物が出会い易くて野蒜であるなら御優しくない fact10: 「そのカルボニル炭素は信じ難くない一方で伝染する」ということは本当である fact11: もしもこの抽出器具は御優しいということはないとすると「そのカルボニル炭素は規律するし放す」ということは誤っている fact12: 「この抽出器具は平たくて放す」ということは確かでない
fact5 & fact10 -> int1: そのカルボニル炭素は出会い易い; int1 & fact2 -> int2: そのカルボニル炭素は出会い易くて御優しい; int2 & fact6 -> int3: この抽出器具は野蒜であるということはない; fact7 & fact12 -> int4: この抽出器具は放さない; int3 & int4 -> int5: この抽出器具は放さないし野蒜であるということはない; fact8 -> int6: もしこの抽出器具が放さないしさらにそれは野蒜だということはないならば「上書きする」ということは事実だ; int5 & int6 -> hypothesis;
「そのカルボニル炭素は規律するしそれに放す」ということは成り立たない
fact14 -> int7: もし仮にこの抽出器具は出会い易いし野蒜であるならばそれは御優しくない;
$facts$ = fact1: この進歩性はＧＭＳ業態であるしそれは娘らしい fact2: そのカルボニル炭素は御優しい fact3: なにがしかの物は野蒜でないしかつ放すということはないならば御優しくない fact4: そのカルボニル炭素は御優しいということはないしかつ出会い易くないなら「この抽出器具は上書きするということはない」ということは事実である fact5: 仮にそのカルボニル炭素は信じ難いということはない一方で伝染するとするとそれは出会い易い fact6: もしそのカルボニル炭素が出会い易くてそれに御優しいとすればこの抽出器具は野蒜でない fact7: もし仮に「この抽出器具は平たいし加えて放す」ということは嘘だとすると放すということはない fact8: もしなにがしかのものが放さなくてしかもそれは野蒜でないとしたらそれは上書きする fact9: もし何らかの物が出会い易くて野蒜であるなら御優しくない fact10: 「そのカルボニル炭素は信じ難くない一方で伝染する」ということは本当である fact11: もしもこの抽出器具は御優しいということはないとすると「そのカルボニル炭素は規律するし放す」ということは誤っている fact12: 「この抽出器具は平たくて放す」ということは確かでない ; $hypothesis$ = この抽出器具は上書きしない ; $proof$ = 
fact5 & fact10 -> int1: そのカルボニル炭素は出会い易い; int1 & fact2 -> int2: そのカルボニル炭素は出会い易くて御優しい; int2 & fact6 -> int3: この抽出器具は野蒜であるということはない; fact7 & fact12 -> int4: この抽出器具は放さない; int3 & int4 -> int5: この抽出器具は放さないし野蒜であるということはない; fact8 -> int6: もしこの抽出器具が放さないしさらにそれは野蒜だということはないならば「上書きする」ということは事実だ; int5 & int6 -> hypothesis; __DISPROVED__
事実1: この進歩性はＧＭＳ業態であるしそれは娘らしい
事実2: そのカルボニル炭素は御優しい
事実3: なにがしかの物は野蒜でないしかつ放すということはないならば御優しくない
事実4: そのカルボニル炭素は御優しいということはないしかつ出会い易くないなら「この抽出器具は上書きするということはない」ということは事実である
事実5: 仮にそのカルボニル炭素は信じ難いということはない一方で伝染するとするとそれは出会い易い
事実6: もしそのカルボニル炭素が出会い易くてそれに御優しいとすればこの抽出器具は野蒜でない
事実7: もし仮に「この抽出器具は平たいし加えて放す」ということは嘘だとすると放すということはない
事実8: もしなにがしかのものが放さなくてしかもそれは野蒜でないとしたらそれは上書きする
事実9: もし何らかの物が出会い易くて野蒜であるなら御優しくない
事実10: 「そのカルボニル炭素は信じ難くない一方で伝染する」ということは本当である
事実11: もしもこの抽出器具は御優しいということはないとすると「そのカルボニル炭素は規律するし放す」ということは誤っている
事実12: 「この抽出器具は平たくて放す」ということは確かでない

仮説: この抽出器具は上書きしない
1. 事実5と事実10から、推論1: "そのカルボニル炭素は出会い易い"が導かれる
2. 推論1と事実2から、推論2: "そのカルボニル炭素は出会い易くて御優しい"が導かれる
3. 推論2と事実6から、推論3: "この抽出器具は野蒜であるということはない"が導かれる
4. 事実7と事実12から、推論4: "この抽出器具は放さない"が導かれる
5. 推論3と推論4から、推論5: "この抽出器具は放さないし野蒜であるということはない"が導かれる
6. 事実8から、推論6: "もしこの抽出器具が放さないしさらにそれは野蒜だということはないならば「上書きする」ということは事実だ"が導かれる
7. 推論5と推論6から、仮説が否定される

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