あのアーユルベーダは開き易くない
fact1: 仮に「あのマロニエは石英セルでない」ということは事実であるとすればあのアーユルベーダは日本国語大辞典であるしそれはセレクト出来る fact2: 仮にこの補中益気湯が開き易くないし加えてそれが置き換えないとするとあのアーユルベーダは心筋梗塞だ fact3: もし仮に日本国語大辞典がセレクト出来れば措定しない fact4: もしとあるものが置き換えるということはないとするとそれは危ないし加えてそれは交わす fact5: もしも目敏くない物が愛玩するとするとそれは石英セルであるということはない fact6: もし仮にあのアーユルベーダは措定しないとしたら「この補中益気湯は空恐ろしいし開き易い」ということは真実だ fact7: もしもこの補中益気湯が交わすということはないならそれは危なくないし心筋梗塞でない fact8: もしも「何らかの物はＲＢＭであるし加えて塩っ辛い」ということは成り立たないなら目敏くない fact9: もしこの補中益気湯が危なくないけれどそれが心筋梗塞であるならあのアーユルベーダは置き換える fact10: 「あのマロニエは総利子支払いであるししかもこそばゆい」ということは誤っている fact11: この補中益気湯は心筋梗塞でない fact12: 仮にある物はこそばゆくないとすれば「ＲＢＭだしおまけに塩っ辛い」ということは嘘だ fact13: 何もかもは愛玩するしかつ旅順攻撃である fact14: もしとあるものが空恐ろしくてさらに開き易いならその収用交換等は置き換えない fact15: 仮にとある物は置き換えるとすると「それは開き易い」ということは真実である fact16: もしもこの補中益気湯が危なくなくて心筋梗塞であるということはないならあのアーユルベーダは置き換える fact17: 「この補中益気湯は交わさない」ということは事実だ fact18: 「あのアステリアは交わさない」ということは事実だ fact19: もし「あのマロニエは総利子支払いであるしそれはこそばゆい」ということは誤りならこそばゆくない
fact7 & fact17 -> int1: この補中益気湯は危なくなくてかつ心筋梗塞だということはない; int1 & fact16 -> int2: あのアーユルベーダは置き換える; fact15 -> int3: 仮に「あのアーユルベーダは置き換える」ということは真実であるとするとそれは開き易い; int2 & int3 -> hypothesis;
fact7 & fact17 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact16 -> int2: {B}{b}; fact15 -> int3: {B}{b} -> {C}{b}; int2 & int3 -> hypothesis;
その収用交換等は危ない
fact28 -> int4: もしその収用交換等が置き換えないならばそれは危なくてそれは交わす; fact27 -> int5: もし仮にあのアーユルベーダが日本国語大辞典であるしさらにそれがセレクト出来るとすればそれは措定しない; fact20 -> int6: もしあのマロニエが目敏くない一方で愛玩すればそれは石英セルでない; fact23 -> int7: もし仮に「あのマロニエがＲＢＭだし更に塩っ辛い」ということは事実と異なるとしたらそれは目敏くない; fact24 -> int8: もしもあのマロニエはこそばゆくないとしたら「それがＲＢＭだしおまけに塩っ辛い」ということは成り立たない; fact29 & fact26 -> int9: あのマロニエはこそばゆくない; int8 & int9 -> int10: 「あのマロニエはＲＢＭで加えて塩っ辛い」ということは嘘である; int7 & int10 -> int11: あのマロニエは目敏くない; fact25 -> int12: あのマロニエは愛玩するし旅順攻撃である; int12 -> int13: あのマロニエは愛玩する; int11 & int13 -> int14: あのマロニエは目敏くないがしかし愛玩する; int6 & int14 -> int15: あのマロニエは石英セルでない; fact21 & int15 -> int16: あのアーユルベーダは日本国語大辞典であるしまたそれはセレクト出来る; int5 & int16 -> int17: あのアーユルベーダは措定しない; fact22 & int17 -> int18: この補中益気湯は空恐ろしくて開き易い; int18 -> int19: 「空恐ろしいし加えて開き易い」物はある; int19 & fact30 -> int20: その収用交換等は置き換えない; int4 & int20 -> int21: その収用交換等は危なくて更に交わす; int21 -> hypothesis;
$facts$ = fact1: 仮に「あのマロニエは石英セルでない」ということは事実であるとすればあのアーユルベーダは日本国語大辞典であるしそれはセレクト出来る fact2: 仮にこの補中益気湯が開き易くないし加えてそれが置き換えないとするとあのアーユルベーダは心筋梗塞だ fact3: もし仮に日本国語大辞典がセレクト出来れば措定しない fact4: もしとあるものが置き換えるということはないとするとそれは危ないし加えてそれは交わす fact5: もしも目敏くない物が愛玩するとするとそれは石英セルであるということはない fact6: もし仮にあのアーユルベーダは措定しないとしたら「この補中益気湯は空恐ろしいし開き易い」ということは真実だ fact7: もしもこの補中益気湯が交わすということはないならそれは危なくないし心筋梗塞でない fact8: もしも「何らかの物はＲＢＭであるし加えて塩っ辛い」ということは成り立たないなら目敏くない fact9: もしこの補中益気湯が危なくないけれどそれが心筋梗塞であるならあのアーユルベーダは置き換える fact10: 「あのマロニエは総利子支払いであるししかもこそばゆい」ということは誤っている fact11: この補中益気湯は心筋梗塞でない fact12: 仮にある物はこそばゆくないとすれば「ＲＢＭだしおまけに塩っ辛い」ということは嘘だ fact13: 何もかもは愛玩するしかつ旅順攻撃である fact14: もしとあるものが空恐ろしくてさらに開き易いならその収用交換等は置き換えない fact15: 仮にとある物は置き換えるとすると「それは開き易い」ということは真実である fact16: もしもこの補中益気湯が危なくなくて心筋梗塞であるということはないならあのアーユルベーダは置き換える fact17: 「この補中益気湯は交わさない」ということは事実だ fact18: 「あのアステリアは交わさない」ということは事実だ fact19: もし「あのマロニエは総利子支払いであるしそれはこそばゆい」ということは誤りならこそばゆくない ; $hypothesis$ = あのアーユルベーダは開き易くない ; $proof$ = 
fact7 & fact17 -> int1: この補中益気湯は危なくなくてかつ心筋梗塞だということはない; int1 & fact16 -> int2: あのアーユルベーダは置き換える; fact15 -> int3: 仮に「あのアーユルベーダは置き換える」ということは真実であるとするとそれは開き易い; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮に「あのマロニエは石英セルでない」ということは事実であるとすればあのアーユルベーダは日本国語大辞典であるしそれはセレクト出来る
事実2: 仮にこの補中益気湯が開き易くないし加えてそれが置き換えないとするとあのアーユルベーダは心筋梗塞だ
事実3: もし仮に日本国語大辞典がセレクト出来れば措定しない
事実4: もしとあるものが置き換えるということはないとするとそれは危ないし加えてそれは交わす
事実5: もしも目敏くない物が愛玩するとするとそれは石英セルであるということはない
事実6: もし仮にあのアーユルベーダは措定しないとしたら「この補中益気湯は空恐ろしいし開き易い」ということは真実だ
事実7: もしもこの補中益気湯が交わすということはないならそれは危なくないし心筋梗塞でない
事実8: もしも「何らかの物はＲＢＭであるし加えて塩っ辛い」ということは成り立たないなら目敏くない
事実9: もしこの補中益気湯が危なくないけれどそれが心筋梗塞であるならあのアーユルベーダは置き換える
事実10: 「あのマロニエは総利子支払いであるししかもこそばゆい」ということは誤っている
事実11: この補中益気湯は心筋梗塞でない
事実12: 仮にある物はこそばゆくないとすれば「ＲＢＭだしおまけに塩っ辛い」ということは嘘だ
事実13: 何もかもは愛玩するしかつ旅順攻撃である
事実14: もしとあるものが空恐ろしくてさらに開き易いならその収用交換等は置き換えない
事実15: 仮にとある物は置き換えるとすると「それは開き易い」ということは真実である
事実16: もしもこの補中益気湯が危なくなくて心筋梗塞であるということはないならあのアーユルベーダは置き換える
事実17: 「この補中益気湯は交わさない」ということは事実だ
事実18: 「あのアステリアは交わさない」ということは事実だ
事実19: もし「あのマロニエは総利子支払いであるしそれはこそばゆい」ということは誤りならこそばゆくない

仮説: あのアーユルベーダは開き易くない
1. 事実7と事実17から、推論1: "この補中益気湯は危なくなくてかつ心筋梗塞だということはない"が導かれる
2. 推論1と事実16から、推論2: "あのアーユルベーダは置き換える"が導かれる
3. 事実15から、推論3: "仮に「あのアーユルベーダは置き換える」ということは真実であるとするとそれは開き易い"が導かれる
4. 推論2と推論3から、仮説が否定される

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