「その本源は試行しない」ということは誤っていない
fact1: あの連結完全支配関係は試行する fact2: もしもそのＳＳＨは汚いということはないとすると「あのサブコンは利用し辛いけど座するということはない」ということは事実と異なる fact3: そのＳＳＨは重大視しない fact4: もし仮にその本源が気安くないとするとあの礎達は試行するし彩文である fact5: そのＥＵＲＯは試行する fact6: 「あの区別は彩文であるがしかし試行しない」ということは事実と異なるとするとその本源は試行しない fact7: 仮にあるものは重大視しなくて更にＴＨＣだということはないとすると汚くない fact8: もし仮にそのＳＳＨが汚くないとしたらあのサブコンは座するし更に利用し辛い fact9: もし「あのサブコンは利用し辛いがしかし座しない」ということは偽であるならあの区別は御早くない fact10: その本源は試行する fact11: そのかんじきは試行する fact12: その本源は高下だ fact13: そのＳＳＨはＴＨＣでない fact14: もしも「なにがしかのものはＴＨＣだし更に汚い」ということは嘘なら汚くない fact15: もし仮にそのＳＳＨは重大視しないならば「それはＴＨＣであるし汚い」ということは誤っている fact16: もしも身軽くないものが御早くないとするとそれは気安くない fact17: ある物は気安くないなら「それは彩文であるしまた試行しない」ということは嘘だ
fact10 -> hypothesis;
fact10 -> hypothesis;
その本源は試行しない
fact20 -> int1: 仮にあの区別は気安いということはないとしたら「彩文だがしかし試行するということはない」ということは正しくない; fact22 -> int2: もしあの区別は身軽くないし御早くないならそれは気安くない; fact24 -> int3: もしもそのＳＳＨが重大視しないしそれにそれはＴＨＣでないなら汚くない; fact19 & fact18 -> int4: そのＳＳＨは重大視しなくてしかもＴＨＣでない; int3 & int4 -> int5: そのＳＳＨは汚くない; fact21 & int5 -> int6: あのサブコンは座するしさらに利用し辛い; int6 -> int7: あのサブコンは座する; int7 -> int8: 「「座する」ということは事実である」ものはある;
$facts$ = fact1: あの連結完全支配関係は試行する fact2: もしもそのＳＳＨは汚いということはないとすると「あのサブコンは利用し辛いけど座するということはない」ということは事実と異なる fact3: そのＳＳＨは重大視しない fact4: もし仮にその本源が気安くないとするとあの礎達は試行するし彩文である fact5: そのＥＵＲＯは試行する fact6: 「あの区別は彩文であるがしかし試行しない」ということは事実と異なるとするとその本源は試行しない fact7: 仮にあるものは重大視しなくて更にＴＨＣだということはないとすると汚くない fact8: もし仮にそのＳＳＨが汚くないとしたらあのサブコンは座するし更に利用し辛い fact9: もし「あのサブコンは利用し辛いがしかし座しない」ということは偽であるならあの区別は御早くない fact10: その本源は試行する fact11: そのかんじきは試行する fact12: その本源は高下だ fact13: そのＳＳＨはＴＨＣでない fact14: もしも「なにがしかのものはＴＨＣだし更に汚い」ということは嘘なら汚くない fact15: もし仮にそのＳＳＨは重大視しないならば「それはＴＨＣであるし汚い」ということは誤っている fact16: もしも身軽くないものが御早くないとするとそれは気安くない fact17: ある物は気安くないなら「それは彩文であるしまた試行しない」ということは嘘だ ; $hypothesis$ = 「その本源は試行しない」ということは誤っていない ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: あの連結完全支配関係は試行する
事実2: もしもそのＳＳＨは汚いということはないとすると「あのサブコンは利用し辛いけど座するということはない」ということは事実と異なる
事実3: そのＳＳＨは重大視しない
事実4: もし仮にその本源が気安くないとするとあの礎達は試行するし彩文である
事実5: そのＥＵＲＯは試行する
事実6: 「あの区別は彩文であるがしかし試行しない」ということは事実と異なるとするとその本源は試行しない
事実7: 仮にあるものは重大視しなくて更にＴＨＣだということはないとすると汚くない
事実8: もし仮にそのＳＳＨが汚くないとしたらあのサブコンは座するし更に利用し辛い
事実9: もし「あのサブコンは利用し辛いがしかし座しない」ということは偽であるならあの区別は御早くない
事実10: その本源は試行する
事実11: そのかんじきは試行する
事実12: その本源は高下だ
事実13: そのＳＳＨはＴＨＣでない
事実14: もしも「なにがしかのものはＴＨＣだし更に汚い」ということは嘘なら汚くない
事実15: もし仮にそのＳＳＨは重大視しないならば「それはＴＨＣであるし汚い」ということは誤っている
事実16: もしも身軽くないものが御早くないとするとそれは気安くない
事実17: ある物は気安くないなら「それは彩文であるしまた試行しない」ということは嘘だ

仮説: 「その本源は試行しない」ということは誤っていない
1. 事実10から、仮説が否定される

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