「その公会計情報は次節以降でなくて耐熱合金でない」ということは確かでない
fact1: そのガラス製管玉が次節以降でないとすればその公会計情報は次節以降でないしそれに耐熱合金でない fact2: あの鳴り物入りは滲まない fact3: その思考プロセスは直接取り引きだということはない fact4: そのガラス製管玉が滲まないとすればそれは後だ fact5: 「その思考プロセスは振り動かすかまたはずれないかまたは両方ともである」ということは誤りならばそのガラス製管玉は振り動かす fact6: その公会計情報は拓銀緊密取り引き先企業でない fact7: そのガラス製管玉は滲まない fact8: その公会計情報は滲まない fact9: もしも「なんらかのものは後であるが滲まない」ということは間違っているとするとそれは後でない fact10: 仮にそのガラス製管玉は次節以降であるとしたら後でない fact11: 心憎くない物はニートであるしそれに冬らしい fact12: もし仮に何らかのものは冬らしいとすれば「それは振り動かすかまたはそれはずれないかあるいは両方である」ということは誤りだ fact13: もしそのガラス製管玉は振り動かすがしかし捩じ曲げないとすると滲む fact14: もし仮にそのガラス製管玉が掛け直すけれど捩じ曲げないなら「その公会計情報は捩じ曲げない」ということは本当だ fact15: もし仮に何かは捩じ曲げるということはないなら「後でそれは滲まない」ということは確かでない fact16: 何かは振り動かすとすると掛け直すしさらに捩じ曲げるということはない fact17: もしもその思考プロセスが直接取り引きでないけれどそれがずっとすればそれは心憎くない fact18: もしもそのガラス製管玉が滲むとしたらこの古典は耐熱合金でない fact19: 「そのガラス製管玉は耐熱合金である」ということは確かだということはない fact20: その鼻毛は滲む fact21: もし「なんらかの物は後であるということはない」ということは成り立つとしたら「それは次節以降だということはなくてそれにそれは耐熱合金でない」ということは嘘である
void -> assump1: 以下のように仮定する。そのガラス製管玉は次節以降だ; fact10 & assump1 -> int1: そのガラス製管玉は後でない; fact7 & fact4 -> int2: そのガラス製管玉は後である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのガラス製管玉は次節以降だということはない; int4 & fact1 -> hypothesis;
「その公会計情報は次節以降でなくてまた耐熱合金でない」ということは成り立たない
fact29 -> int5: もしその公会計情報は後でないとしたら「それは次節以降でないしまた耐熱合金でない」ということは誤りだ; fact25 -> int6: もし仮に「その公会計情報は後だがしかしそれは滲まない」ということは成り立たないならば後でない; fact31 -> int7: もしもその公会計情報は捩じ曲げないとしたら「それは後でそれは滲まない」ということは間違っている; fact30 -> int8: そのガラス製管玉が振り動かすとすれば掛け直すしそれに捩じ曲げない; fact28 -> int9: 仮にその思考プロセスは冬らしいとすれば「振り動かすかもしくはずれるということはない」ということは誤りである; fact24 -> int10: もし仮にその思考プロセスが心憎くないならニートでそれに冬らしい;
$facts$ = fact1: そのガラス製管玉が次節以降でないとすればその公会計情報は次節以降でないしそれに耐熱合金でない fact2: あの鳴り物入りは滲まない fact3: その思考プロセスは直接取り引きだということはない fact4: そのガラス製管玉が滲まないとすればそれは後だ fact5: 「その思考プロセスは振り動かすかまたはずれないかまたは両方ともである」ということは誤りならばそのガラス製管玉は振り動かす fact6: その公会計情報は拓銀緊密取り引き先企業でない fact7: そのガラス製管玉は滲まない fact8: その公会計情報は滲まない fact9: もしも「なんらかのものは後であるが滲まない」ということは間違っているとするとそれは後でない fact10: 仮にそのガラス製管玉は次節以降であるとしたら後でない fact11: 心憎くない物はニートであるしそれに冬らしい fact12: もし仮に何らかのものは冬らしいとすれば「それは振り動かすかまたはそれはずれないかあるいは両方である」ということは誤りだ fact13: もしそのガラス製管玉は振り動かすがしかし捩じ曲げないとすると滲む fact14: もし仮にそのガラス製管玉が掛け直すけれど捩じ曲げないなら「その公会計情報は捩じ曲げない」ということは本当だ fact15: もし仮に何かは捩じ曲げるということはないなら「後でそれは滲まない」ということは確かでない fact16: 何かは振り動かすとすると掛け直すしさらに捩じ曲げるということはない fact17: もしもその思考プロセスが直接取り引きでないけれどそれがずっとすればそれは心憎くない fact18: もしもそのガラス製管玉が滲むとしたらこの古典は耐熱合金でない fact19: 「そのガラス製管玉は耐熱合金である」ということは確かだということはない fact20: その鼻毛は滲む fact21: もし「なんらかの物は後であるということはない」ということは成り立つとしたら「それは次節以降だということはなくてそれにそれは耐熱合金でない」ということは嘘である ; $hypothesis$ = 「その公会計情報は次節以降でなくて耐熱合金でない」ということは確かでない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのガラス製管玉は次節以降だ; fact10 & assump1 -> int1: そのガラス製管玉は後でない; fact7 & fact4 -> int2: そのガラス製管玉は後である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのガラス製管玉は次節以降だということはない; int4 & fact1 -> hypothesis; __DISPROVED__
事実1: そのガラス製管玉が次節以降でないとすればその公会計情報は次節以降でないしそれに耐熱合金でない
事実2: あの鳴り物入りは滲まない
事実3: その思考プロセスは直接取り引きだということはない
事実4: そのガラス製管玉が滲まないとすればそれは後だ
事実5: 「その思考プロセスは振り動かすかまたはずれないかまたは両方ともである」ということは誤りならばそのガラス製管玉は振り動かす
事実6: その公会計情報は拓銀緊密取り引き先企業でない
事実7: そのガラス製管玉は滲まない
事実8: その公会計情報は滲まない
事実9: もしも「なんらかのものは後であるが滲まない」ということは間違っているとするとそれは後でない
事実10: 仮にそのガラス製管玉は次節以降であるとしたら後でない
事実11: 心憎くない物はニートであるしそれに冬らしい
事実12: もし仮に何らかのものは冬らしいとすれば「それは振り動かすかまたはそれはずれないかあるいは両方である」ということは誤りだ
事実13: もしそのガラス製管玉は振り動かすがしかし捩じ曲げないとすると滲む
事実14: もし仮にそのガラス製管玉が掛け直すけれど捩じ曲げないなら「その公会計情報は捩じ曲げない」ということは本当だ
事実15: もし仮に何かは捩じ曲げるということはないなら「後でそれは滲まない」ということは確かでない
事実16: 何かは振り動かすとすると掛け直すしさらに捩じ曲げるということはない
事実17: もしもその思考プロセスが直接取り引きでないけれどそれがずっとすればそれは心憎くない
事実18: もしもそのガラス製管玉が滲むとしたらこの古典は耐熱合金でない
事実19: 「そのガラス製管玉は耐熱合金である」ということは確かだということはない
事実20: その鼻毛は滲む
事実21: もし「なんらかの物は後であるということはない」ということは成り立つとしたら「それは次節以降だということはなくてそれにそれは耐熱合金でない」ということは嘘である

仮説: 「その公会計情報は次節以降でなくて耐熱合金でない」ということは確かでない
1. 仮定1: 以下のように仮定する。そのガラス製管玉は次節以降だ
2. 事実10と仮定1から、推論1: "そのガラス製管玉は後でない"が導かれる
3. 事実7と事実4から、推論2: "そのガラス製管玉は後である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのガラス製管玉は次節以降だということはない"が導かれる
6. 推論4と事実1から、仮説が否定される

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