「その準備調節はモニタ表示だがそれは起き難くない」ということは成り立たない
fact1: 「この家族介護は渋くない」ということは成り立つ fact2: この家族介護は起き難くない fact3: そのオペレーションは犯し始める fact4: もしこのトップスが犯し始めるとするとその繰り返しは一体化する fact5: その繰り返しはセットアップしない fact6: その繰り返しは起き難い fact7: もしこの家族介護が渋くないとしたらそれは展開し易いし交ず fact8: もしもその繰り返しが一体化するとすればあの家族介護は展開し易くない fact9: この家族介護は一体化するということはない fact10: その繰り返しはモニタ表示だ fact11: もしもこのトップスが犯し始めないならその準備調節はモニタ表示であるが起き難くない
void -> assump1: 以下のように仮定する。このトップスは犯し始める; fact4 & assump1 -> int1: その繰り返しは一体化する; int1 & fact8 -> int2: この家族介護は展開し易くない; fact7 & fact1 -> int3: この家族介護は展開し易いし加えて交ず; int3 -> int4: この家族介護は展開し易い; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「このトップスは犯し始めるということはない」ということは嘘でない; int6 & fact11 -> hypothesis;
$facts$ = fact1: 「この家族介護は渋くない」ということは成り立つ fact2: この家族介護は起き難くない fact3: そのオペレーションは犯し始める fact4: もしこのトップスが犯し始めるとするとその繰り返しは一体化する fact5: その繰り返しはセットアップしない fact6: その繰り返しは起き難い fact7: もしこの家族介護が渋くないとしたらそれは展開し易いし交ず fact8: もしもその繰り返しが一体化するとすればあの家族介護は展開し易くない fact9: この家族介護は一体化するということはない fact10: その繰り返しはモニタ表示だ fact11: もしもこのトップスが犯し始めないならその準備調節はモニタ表示であるが起き難くない ; $hypothesis$ = 「その準備調節はモニタ表示だがそれは起き難くない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。このトップスは犯し始める; fact4 & assump1 -> int1: その繰り返しは一体化する; int1 & fact8 -> int2: この家族介護は展開し易くない; fact7 & fact1 -> int3: この家族介護は展開し易いし加えて交ず; int3 -> int4: この家族介護は展開し易い; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「このトップスは犯し始めるということはない」ということは嘘でない; int6 & fact11 -> hypothesis; __DISPROVED__
事実1: 「この家族介護は渋くない」ということは成り立つ
事実2: この家族介護は起き難くない
事実3: そのオペレーションは犯し始める
事実4: もしこのトップスが犯し始めるとするとその繰り返しは一体化する
事実5: その繰り返しはセットアップしない
事実6: その繰り返しは起き難い
事実7: もしこの家族介護が渋くないとしたらそれは展開し易いし交ず
事実8: もしもその繰り返しが一体化するとすればあの家族介護は展開し易くない
事実9: この家族介護は一体化するということはない
事実10: その繰り返しはモニタ表示だ
事実11: もしもこのトップスが犯し始めないならその準備調節はモニタ表示であるが起き難くない

仮説: 「その準備調節はモニタ表示だがそれは起き難くない」ということは成り立たない
1. 仮定1: 以下のように仮定する。このトップスは犯し始める
2. 事実4と仮定1から、推論1: "その繰り返しは一体化する"が導かれる
3. 推論1と事実8から、推論2: "この家族介護は展開し易くない"が導かれる
4. 事実7と事実1から、推論3: "この家族介護は展開し易いし加えて交ず"が導かれる
5. 推論3から、推論4: "この家族介護は展開し易い"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「このトップスは犯し始めるということはない」ということは嘘でない"が導かれる
8. 推論6と事実11から、仮説が否定される

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