この基準化は使い易くない
fact1: その各条項は風流だ fact2: この基準化は有名ブランドである fact3: もし仮にそのキー割り当てが二分割しないしそれが熱くないならこの基準化は取っ付き難くない fact4: 「何らかのものは熱いが二分割しない」ということは成り立たないとするとそれは熱くない fact5: とあるものが特筆しないが未来永劫なら叩き付けない fact6: 「そのキー割り当ては取っ付き難くて研削する」ということは成り立たないならばあの基準化は使い易くない fact7: 仮にそのキー割り当てが研削しないとしたらその各条項は風流で隆起する fact8: その地方取材は研削しない fact9: もし仮にその粒胡椒が地下深くないけど戸長ならその各条項は戸長だ fact10: その各条項は研削しない fact11: もしも「この基準化は使い易くない」ということは誤りであるということはないならばあのキー割り当てが風流だしさらにそれは隆起する fact12: もし仮にその各条項が叩き付けないとするとそのキー割り当ては叩き付ける fact13: もしそのキー割り当てが風流ならばその各条項は研削する fact14: もしも「なにがしかの物は所収する」ということは偽でないとしたら「熱いし二分割しない」ということは成り立つということはない fact15: もし仮にとある物が叩き付けるとしたらそれは所収する fact16: そのキー割り当てが使い易くないとしたらこの基準化は風流である fact17: 仮にこの基準化が使い易くないとするとそのキー割り当ては隆起する fact18: なにかは熱くないなら「取っ付き難いしそれは研削する」ということは成り立たない fact19: もし何かは戸長ならばそれは特筆するということはないけれど未来永劫だ fact20: そのキー割り当ては隆起する
void -> assump1: 以下のように仮定する。この基準化は使い易くない; fact11 & assump1 -> int1: そのキー割り当ては風流であるし隆起する; int1 -> int2: そのキー割り当ては風流だ; int2 & fact13 -> int3: その各条項は研削する; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
この基準化は使い易くない
fact25 -> int5: もし仮にそのキー割り当ては熱くないとすると「それは取っ付き難いしそれに研削する」ということは成り立たない; fact24 -> int6: 「そのキー割り当ては熱いけれど二分割しない」ということは成り立たないとしたらそれは熱くない; fact28 -> int7: もし仮にそのキー割り当ては所収すれば「それは熱いしそれにそれは二分割しない」ということは間違いだ; fact22 -> int8: もしそのキー割り当てが叩き付けるとしたらそれは所収する; fact27 -> int9: もし仮にその各条項は特筆しないけれど未来永劫であるとするとそれは叩き付けない; fact21 -> int10: もしその各条項が戸長であるとすれば特筆しないしさらに未来永劫だ;
$facts$ = fact1: その各条項は風流だ fact2: この基準化は有名ブランドである fact3: もし仮にそのキー割り当てが二分割しないしそれが熱くないならこの基準化は取っ付き難くない fact4: 「何らかのものは熱いが二分割しない」ということは成り立たないとするとそれは熱くない fact5: とあるものが特筆しないが未来永劫なら叩き付けない fact6: 「そのキー割り当ては取っ付き難くて研削する」ということは成り立たないならばあの基準化は使い易くない fact7: 仮にそのキー割り当てが研削しないとしたらその各条項は風流で隆起する fact8: その地方取材は研削しない fact9: もし仮にその粒胡椒が地下深くないけど戸長ならその各条項は戸長だ fact10: その各条項は研削しない fact11: もしも「この基準化は使い易くない」ということは誤りであるということはないならばあのキー割り当てが風流だしさらにそれは隆起する fact12: もし仮にその各条項が叩き付けないとするとそのキー割り当ては叩き付ける fact13: もしそのキー割り当てが風流ならばその各条項は研削する fact14: もしも「なにがしかの物は所収する」ということは偽でないとしたら「熱いし二分割しない」ということは成り立つということはない fact15: もし仮にとある物が叩き付けるとしたらそれは所収する fact16: そのキー割り当てが使い易くないとしたらこの基準化は風流である fact17: 仮にこの基準化が使い易くないとするとそのキー割り当ては隆起する fact18: なにかは熱くないなら「取っ付き難いしそれは研削する」ということは成り立たない fact19: もし何かは戸長ならばそれは特筆するということはないけれど未来永劫だ fact20: そのキー割り当ては隆起する ; $hypothesis$ = この基準化は使い易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この基準化は使い易くない; fact11 & assump1 -> int1: そのキー割り当ては風流であるし隆起する; int1 -> int2: そのキー割り当ては風流だ; int2 & fact13 -> int3: その各条項は研削する; int3 & fact10 -> 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: そのキー割り当ては隆起する

仮説: この基準化は使い易くない
1. 仮定1: 以下のように仮定する。この基準化は使い易くない
2. 事実11と仮定1から、推論1: "そのキー割り当ては風流であるし隆起する"が導かれる
3. 推論1から、推論2: "そのキー割り当ては風流だ"が導かれる
4. 推論2と事実13から、推論3: "その各条項は研削する"が導かれる
5. 推論3と事実10から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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