その二十八Ａ―Ｃは芽吹きでない
fact1: その二十八Ａ―Ｃはしょっぱい fact2: あの好感度は芽吹きでない fact3: その二十八Ａ―Ｃは登山出来ない fact4: もしなにかはガラス棒でないとしたらそれは際どいし配列複製である fact5: 「この特許法等が色情報だけどそれは削減すらない」ということは成り立たないとしたらあの安全神話はガラス棒でない fact6: 仮に「久しくない」ものがあるとすればあの売り上げ総利益は登山出来るしまた芽吹きである fact7: 仮にこのソアラが削減すらないがしかしそれが色情報だとしたらそれはガラス棒である fact8: もし仮にその二十八Ａ―Ｃが逆様だとしたら登山出来る fact9: このソアラは滞り易い fact10: もし仮に「この売り上げ総利益は眺め行かない」ということは誤りでないなら「それは住み易い」ということは本当である fact11: もし仮にその良い加減度は登山出来ないならば「見出だし難い」ということは本当だ fact12: もしもあのリシェープが久しくない一方で逆様ならばあの二十八Ａ―Ｃは逆様でない fact13: あの義務は登山出来ない fact14: もし仮にこのソアラがガラス棒であるとするとこの特許法等はガラス棒である fact15: 仮に「なにがしかの物は登山出来る」ということは正しいとすれば「それは逆様だ」ということは成り立つ fact16: その二十八Ａ―Ｃは逆様でないなら「遣り通す」ということは成り立つ fact17: もし仮にこの特許法等がガラス棒であるとするとあの安全神話は際どいかもしくはそれは配列複製でないか両方ともだ fact18: もしこのソアラが滞り易いならそれは削減すらなくてしかも色情報である fact19: 「この特許法等は色情報であるが削減すらない」ということは成り立たない fact20: もし仮にあの安全神話が際どいならあのリシェープは検討結果だがしかし久しくない fact21: もしとあるものは芽吹きでないとしたら逆様だ
fact21 -> int1: その二十八Ａ―Ｃが芽吹きでないとすれば逆様である; void -> assump1: 以下のように仮定する。その二十八Ａ―Ｃは芽吹きでない; int1 & assump1 -> int2: その二十八Ａ―Ｃは逆様である; int2 & fact8 -> int3: その二十八Ａ―Ｃは登山出来る; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
その二十八Ａ―Ｃは芽吹きでない
fact27 & fact24 -> int5: このソアラは削減すらないがしかし色情報である; fact23 & int5 -> int6: このソアラはガラス棒である; fact22 & int6 -> int7: この特許法等はガラス棒だ; fact25 & int7 -> int8: あの安全神話は際どいか配列複製であるということはない;
$facts$ = fact1: その二十八Ａ―Ｃはしょっぱい fact2: あの好感度は芽吹きでない fact3: その二十八Ａ―Ｃは登山出来ない fact4: もしなにかはガラス棒でないとしたらそれは際どいし配列複製である fact5: 「この特許法等が色情報だけどそれは削減すらない」ということは成り立たないとしたらあの安全神話はガラス棒でない fact6: 仮に「久しくない」ものがあるとすればあの売り上げ総利益は登山出来るしまた芽吹きである fact7: 仮にこのソアラが削減すらないがしかしそれが色情報だとしたらそれはガラス棒である fact8: もし仮にその二十八Ａ―Ｃが逆様だとしたら登山出来る fact9: このソアラは滞り易い fact10: もし仮に「この売り上げ総利益は眺め行かない」ということは誤りでないなら「それは住み易い」ということは本当である fact11: もし仮にその良い加減度は登山出来ないならば「見出だし難い」ということは本当だ fact12: もしもあのリシェープが久しくない一方で逆様ならばあの二十八Ａ―Ｃは逆様でない fact13: あの義務は登山出来ない fact14: もし仮にこのソアラがガラス棒であるとするとこの特許法等はガラス棒である fact15: 仮に「なにがしかの物は登山出来る」ということは正しいとすれば「それは逆様だ」ということは成り立つ fact16: その二十八Ａ―Ｃは逆様でないなら「遣り通す」ということは成り立つ fact17: もし仮にこの特許法等がガラス棒であるとするとあの安全神話は際どいかもしくはそれは配列複製でないか両方ともだ fact18: もしこのソアラが滞り易いならそれは削減すらなくてしかも色情報である fact19: 「この特許法等は色情報であるが削減すらない」ということは成り立たない fact20: もし仮にあの安全神話が際どいならあのリシェープは検討結果だがしかし久しくない fact21: もしとあるものは芽吹きでないとしたら逆様だ ; $hypothesis$ = その二十八Ａ―Ｃは芽吹きでない ; $proof$ = 
fact21 -> int1: その二十八Ａ―Ｃが芽吹きでないとすれば逆様である; void -> assump1: 以下のように仮定する。その二十八Ａ―Ｃは芽吹きでない; int1 & assump1 -> int2: その二十八Ａ―Ｃは逆様である; int2 & fact8 -> int3: その二十八Ａ―Ｃは登山出来る; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: その二十八Ａ―Ｃはしょっぱい
事実2: あの好感度は芽吹きでない
事実3: その二十八Ａ―Ｃは登山出来ない
事実4: もしなにかはガラス棒でないとしたらそれは際どいし配列複製である
事実5: 「この特許法等が色情報だけどそれは削減すらない」ということは成り立たないとしたらあの安全神話はガラス棒でない
事実6: 仮に「久しくない」ものがあるとすればあの売り上げ総利益は登山出来るしまた芽吹きである
事実7: 仮にこのソアラが削減すらないがしかしそれが色情報だとしたらそれはガラス棒である
事実8: もし仮にその二十八Ａ―Ｃが逆様だとしたら登山出来る
事実9: このソアラは滞り易い
事実10: もし仮に「この売り上げ総利益は眺め行かない」ということは誤りでないなら「それは住み易い」ということは本当である
事実11: もし仮にその良い加減度は登山出来ないならば「見出だし難い」ということは本当だ
事実12: もしもあのリシェープが久しくない一方で逆様ならばあの二十八Ａ―Ｃは逆様でない
事実13: あの義務は登山出来ない
事実14: もし仮にこのソアラがガラス棒であるとするとこの特許法等はガラス棒である
事実15: 仮に「なにがしかの物は登山出来る」ということは正しいとすれば「それは逆様だ」ということは成り立つ
事実16: その二十八Ａ―Ｃは逆様でないなら「遣り通す」ということは成り立つ
事実17: もし仮にこの特許法等がガラス棒であるとするとあの安全神話は際どいかもしくはそれは配列複製でないか両方ともだ
事実18: もしこのソアラが滞り易いならそれは削減すらなくてしかも色情報である
事実19: 「この特許法等は色情報であるが削減すらない」ということは成り立たない
事実20: もし仮にあの安全神話が際どいならあのリシェープは検討結果だがしかし久しくない
事実21: もしとあるものは芽吹きでないとしたら逆様だ

仮説: その二十八Ａ―Ｃは芽吹きでない
1. 事実21から、推論1: "その二十八Ａ―Ｃが芽吹きでないとすれば逆様である"が導かれる
2. 仮定1: 以下のように仮定する。その二十八Ａ―Ｃは芽吹きでない
3. 推論1と仮定1から、推論2: "その二十八Ａ―Ｃは逆様である"が導かれる
4. 推論2と事実8から、推論3: "その二十八Ａ―Ｃは登山出来る"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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