「そのギムネマ酸は取っ付き易い」ということは成り立つ
fact1: そのギムネマ酸は小袋坂だ fact2: 仮にあの労基は取れ難くて物らしいならテイル形でない fact3: 仮にあの労基が取っ付き易いとしたらそのギムネマ酸は御寂しい fact4: ある物が再任するしそれは滑るとすれば「取っ付き易くない」ということは誤りでない fact5: 仮にあの沈殿反応は取っ付き易くないとすると「それは再任する一方で御寂しくない」ということは嘘である fact6: この成員は再任する fact7: あの労基は御寂しい fact8: もしもなにがしかのものが再任しないならばそれは取っ付き易くて加えて小袋坂である fact9: そのギムネマ酸は小袋坂であるし再任する fact10: もしなんらかの物が再任しないならば滑るし小袋坂である fact11: そのギムネマ酸は役らしいし潔し fact12: もしも「「あの沈殿反応は取っ付き易くて加えてアップする」ということは間違いだ」ということは成り立てばそれは取っ付き易くない fact13: この祭室は再任する fact14: その帰国が維持し続けるしその上それは積み下ろしである fact15: あの労基は再任する fact16: そのギムネマ酸は知れるしそれは用い易い fact17: あの労基が御寂しいとしたらそのギムネマ酸は滑る
fact9 -> int1: そのギムネマ酸は再任する; fact17 & fact7 -> int2: そのギムネマ酸は滑る; int1 & int2 -> int3: そのギムネマ酸は再任するし滑る; fact4 -> int4: そのギムネマ酸が再任するしそれが滑るとしたら取っ付き易くない; int3 & int4 -> hypothesis;
fact9 -> int1: {B}{a}; fact17 & fact7 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); fact4 -> int4: ({B}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
そのギムネマ酸は取っ付き易い
fact18 -> int5: もしそのギムネマ酸が再任しないとすれば取っ付き易くて更に小袋坂である;
$facts$ = fact1: そのギムネマ酸は小袋坂だ fact2: 仮にあの労基は取れ難くて物らしいならテイル形でない fact3: 仮にあの労基が取っ付き易いとしたらそのギムネマ酸は御寂しい fact4: ある物が再任するしそれは滑るとすれば「取っ付き易くない」ということは誤りでない fact5: 仮にあの沈殿反応は取っ付き易くないとすると「それは再任する一方で御寂しくない」ということは嘘である fact6: この成員は再任する fact7: あの労基は御寂しい fact8: もしもなにがしかのものが再任しないならばそれは取っ付き易くて加えて小袋坂である fact9: そのギムネマ酸は小袋坂であるし再任する fact10: もしなんらかの物が再任しないならば滑るし小袋坂である fact11: そのギムネマ酸は役らしいし潔し fact12: もしも「「あの沈殿反応は取っ付き易くて加えてアップする」ということは間違いだ」ということは成り立てばそれは取っ付き易くない fact13: この祭室は再任する fact14: その帰国が維持し続けるしその上それは積み下ろしである fact15: あの労基は再任する fact16: そのギムネマ酸は知れるしそれは用い易い fact17: あの労基が御寂しいとしたらそのギムネマ酸は滑る ; $hypothesis$ = 「そのギムネマ酸は取っ付き易い」ということは成り立つ ; $proof$ = 
fact9 -> int1: そのギムネマ酸は再任する; fact17 & fact7 -> int2: そのギムネマ酸は滑る; int1 & int2 -> int3: そのギムネマ酸は再任するし滑る; fact4 -> int4: そのギムネマ酸が再任するしそれが滑るとしたら取っ付き易くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: そのギムネマ酸は小袋坂だ
事実2: 仮にあの労基は取れ難くて物らしいならテイル形でない
事実3: 仮にあの労基が取っ付き易いとしたらそのギムネマ酸は御寂しい
事実4: ある物が再任するしそれは滑るとすれば「取っ付き易くない」ということは誤りでない
事実5: 仮にあの沈殿反応は取っ付き易くないとすると「それは再任する一方で御寂しくない」ということは嘘である
事実6: この成員は再任する
事実7: あの労基は御寂しい
事実8: もしもなにがしかのものが再任しないならばそれは取っ付き易くて加えて小袋坂である
事実9: そのギムネマ酸は小袋坂であるし再任する
事実10: もしなんらかの物が再任しないならば滑るし小袋坂である
事実11: そのギムネマ酸は役らしいし潔し
事実12: もしも「「あの沈殿反応は取っ付き易くて加えてアップする」ということは間違いだ」ということは成り立てばそれは取っ付き易くない
事実13: この祭室は再任する
事実14: その帰国が維持し続けるしその上それは積み下ろしである
事実15: あの労基は再任する
事実16: そのギムネマ酸は知れるしそれは用い易い
事実17: あの労基が御寂しいとしたらそのギムネマ酸は滑る

仮説: 「そのギムネマ酸は取っ付き易い」ということは成り立つ
1. 事実9から、推論1: "そのギムネマ酸は再任する"が導かれる
2. 事実17と事実7から、推論2: "そのギムネマ酸は滑る"が導かれる
3. 推論1と推論2から、推論3: "そのギムネマ酸は再任するし滑る"が導かれる
4. 事実4から、推論4: "そのギムネマ酸が再任するしそれが滑るとしたら取っ付き易くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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