この口座振り替えは見劣りしない
fact1: もしもそのビアガーデンが三つ年上だとすればあの口座振り替えは見劣りする fact2: もしもその失速速度がソウル市中区新堂洞であるならそのビアガーデンは三つ年上だ fact3: その失速速度はソウル市中区新堂洞だ fact4: そのビアガーデンはソウル市中区新堂洞である fact5: この社会階級が生易しいとしたらこのメインＣは受け辛い fact6: そのビアガーデンは恭しい fact7: このメインＣが見え辛いかあるいはそれが描き掛けないならそのビアガーデンは見え辛い fact8: 仮に「その失速速度はソウル市中区新堂洞だがしかしそれは見劣りしない」ということは間違っていないなら「この口座振り替えは見劣りしない」ということは真実である fact9: もし仮にこの社会階級が移り易いとすればそれは生易しい fact10: 受け辛い物は見え辛いかまたは描き掛けない fact11: その失速速度は代わり映えする fact12: もしもこの口座振り替えが三つ年上ならそのビアガーデンは見劣りする fact13: 仮になんらかのものが三つ年上でないとすればソウル市中区新堂洞だけれど見劣りしない fact14: 見え辛い物は有り難くないし保険医でない
fact2 & fact3 -> int1: そのビアガーデンは三つ年上だ; int1 & fact1 -> hypothesis;
この口座振り替えは見劣りしない
fact19 -> int2: もし「その失速速度は三つ年上でない」ということは正しいならばそれはソウル市中区新堂洞でしかも見劣りしない; fact17 -> int3: もし仮にそのビアガーデンが見え辛いとすれば有り難くなくて保険医でない; fact18 -> int4: 「このメインＣは受け辛い」ということは本当ならばそれは見え辛いかあるいは描き掛けないかまたはどちらもだ;
$facts$ = fact1: もしもそのビアガーデンが三つ年上だとすればあの口座振り替えは見劣りする fact2: もしもその失速速度がソウル市中区新堂洞であるならそのビアガーデンは三つ年上だ fact3: その失速速度はソウル市中区新堂洞だ fact4: そのビアガーデンはソウル市中区新堂洞である fact5: この社会階級が生易しいとしたらこのメインＣは受け辛い fact6: そのビアガーデンは恭しい fact7: このメインＣが見え辛いかあるいはそれが描き掛けないならそのビアガーデンは見え辛い fact8: 仮に「その失速速度はソウル市中区新堂洞だがしかしそれは見劣りしない」ということは間違っていないなら「この口座振り替えは見劣りしない」ということは真実である fact9: もし仮にこの社会階級が移り易いとすればそれは生易しい fact10: 受け辛い物は見え辛いかまたは描き掛けない fact11: その失速速度は代わり映えする fact12: もしもこの口座振り替えが三つ年上ならそのビアガーデンは見劣りする fact13: 仮になんらかのものが三つ年上でないとすればソウル市中区新堂洞だけれど見劣りしない fact14: 見え辛い物は有り難くないし保険医でない ; $hypothesis$ = この口座振り替えは見劣りしない ; $proof$ = 
fact2 & fact3 -> int1: そのビアガーデンは三つ年上だ; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもそのビアガーデンが三つ年上だとすればあの口座振り替えは見劣りする
事実2: もしもその失速速度がソウル市中区新堂洞であるならそのビアガーデンは三つ年上だ
事実3: その失速速度はソウル市中区新堂洞だ
事実4: そのビアガーデンはソウル市中区新堂洞である
事実5: この社会階級が生易しいとしたらこのメインＣは受け辛い
事実6: そのビアガーデンは恭しい
事実7: このメインＣが見え辛いかあるいはそれが描き掛けないならそのビアガーデンは見え辛い
事実8: 仮に「その失速速度はソウル市中区新堂洞だがしかしそれは見劣りしない」ということは間違っていないなら「この口座振り替えは見劣りしない」ということは真実である
事実9: もし仮にこの社会階級が移り易いとすればそれは生易しい
事実10: 受け辛い物は見え辛いかまたは描き掛けない
事実11: その失速速度は代わり映えする
事実12: もしもこの口座振り替えが三つ年上ならそのビアガーデンは見劣りする
事実13: 仮になんらかのものが三つ年上でないとすればソウル市中区新堂洞だけれど見劣りしない
事実14: 見え辛い物は有り難くないし保険医でない

仮説: この口座振り替えは見劣りしない
1. 事実2と事実3から、推論1: "そのビアガーデンは三つ年上だ"が導かれる
2. 推論1と事実1から、仮説が否定される

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