その確定日付けは再構築するけれど巧妙さでない
fact1: 「あのオープンはコルチコステロイドでない」ということは事実である fact2: もし仮にあの墳丘規模が取り消すしさらに型抜きするとしたらその確定日付けは畜舎であるということはない fact3: もしも「「ホワイト・ボードであるということはない」ということは成り立つ」ものがあるならこの前代は顧みる fact4: あの墳丘規模は打ち難くないし回航しない fact5: もしあの墳丘規模は畜舎でないとしたら「その確定日付けは再構築するが巧妙さでない」ということは誤りである fact6: 仮になにかは青一色であるとすると食べ易いかもしくは持ち難くない fact7: もしもなんらかの物は畜舎ならば「それは悲観するが再構築しない」ということは成り立たない fact8: もし仮にこの前代が顧みるならこの遊牧部族は顧みる fact9: 食べ易いかあるいは持ち難くないかあるいは両方ともであるものは型抜きする fact10: もしその差し餌が青一色であるとするとそのシタールは青一色だ fact11: 「「あのオープンは一読するがしかし妻すらない」ということは成り立たない」ということは誤りでないとすればそれはホワイト・ボードでない fact12: 仮にあるものが畜舎でないとすれば再構築するし更にそれは巧妙さでない fact13: もしもあの墳丘規模は打ち難くないししかも回航しないとすれば畜舎でない fact14: もしもあのオープンはコルチコステロイドでないとすれば「一読するしさらにそれは妻すらない」ということは成り立たない fact15: もしもそのシタールが青一色ならばあの墳丘規模は青一色である fact16: もしその予防戦争が講和条約でないとするとその差し餌は青一色であるししかも殴打だ fact17: 仮にこのサンさんが取り消すかあるいは想像し易くないかまたは両方であるとしたらあの墳丘規模は取り消す fact18: あの墳丘規模は回航しない fact19: 「その確定日付けは再構築するしそれに巧妙さである」ということは誤りである fact20: もしもこの遊牧部族が顧みるとするとこのサンさんは取り消す
fact13 & fact4 -> int1: あの墳丘規模は畜舎でない; int1 & fact5 -> hypothesis;
fact13 & fact4 -> int1: ¬{B}{a}; int1 & fact5 -> hypothesis;
その確定日付けは再構築するけれどそれは巧妙さであるということはない
fact22 -> int2: 仮に「その確定日付けは畜舎だということはない」ということは本当であるとすれば再構築するがしかし巧妙さでない; fact25 & fact29 -> int3: 「あのオープンは一読するがそれは妻すらない」ということは間違いである; fact31 & int3 -> int4: あのオープンはホワイト・ボードでない; int4 -> int5: とある物はホワイト・ボードでない; int5 & fact24 -> int6: この前代は顧みる; fact30 & int6 -> int7: この遊牧部族は顧みる; fact27 & int7 -> int8: このサンさんは取り消す; int8 -> int9: このサンさんは取り消すかもしくはそれは想像し易くない; fact21 & int9 -> int10: 「あの墳丘規模は取り消す」ということは事実である; fact33 -> int11: もしもあの墳丘規模は食べ易いかまたは持ち難くないかあるいは両方ともであるとすればそれは型抜きする; fact26 -> int12: もしもあの墳丘規模が青一色だとすればそれは食べ易いかもしくは持ち難くないかもしくはどちらもである;
$facts$ = fact1: 「あのオープンはコルチコステロイドでない」ということは事実である fact2: もし仮にあの墳丘規模が取り消すしさらに型抜きするとしたらその確定日付けは畜舎であるということはない fact3: もしも「「ホワイト・ボードであるということはない」ということは成り立つ」ものがあるならこの前代は顧みる fact4: あの墳丘規模は打ち難くないし回航しない fact5: もしあの墳丘規模は畜舎でないとしたら「その確定日付けは再構築するが巧妙さでない」ということは誤りである fact6: 仮になにかは青一色であるとすると食べ易いかもしくは持ち難くない fact7: もしもなんらかの物は畜舎ならば「それは悲観するが再構築しない」ということは成り立たない fact8: もし仮にこの前代が顧みるならこの遊牧部族は顧みる fact9: 食べ易いかあるいは持ち難くないかあるいは両方ともであるものは型抜きする fact10: もしその差し餌が青一色であるとするとそのシタールは青一色だ fact11: 「「あのオープンは一読するがしかし妻すらない」ということは成り立たない」ということは誤りでないとすればそれはホワイト・ボードでない fact12: 仮にあるものが畜舎でないとすれば再構築するし更にそれは巧妙さでない fact13: もしもあの墳丘規模は打ち難くないししかも回航しないとすれば畜舎でない fact14: もしもあのオープンはコルチコステロイドでないとすれば「一読するしさらにそれは妻すらない」ということは成り立たない fact15: もしもそのシタールが青一色ならばあの墳丘規模は青一色である fact16: もしその予防戦争が講和条約でないとするとその差し餌は青一色であるししかも殴打だ fact17: 仮にこのサンさんが取り消すかあるいは想像し易くないかまたは両方であるとしたらあの墳丘規模は取り消す fact18: あの墳丘規模は回航しない fact19: 「その確定日付けは再構築するしそれに巧妙さである」ということは誤りである fact20: もしもこの遊牧部族が顧みるとするとこのサンさんは取り消す ; $hypothesis$ = その確定日付けは再構築するけれど巧妙さでない ; $proof$ = 
fact13 & fact4 -> int1: あの墳丘規模は畜舎でない; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 「あのオープンはコルチコステロイドでない」ということは事実である
事実2: もし仮にあの墳丘規模が取り消すしさらに型抜きするとしたらその確定日付けは畜舎であるということはない
事実3: もしも「「ホワイト・ボードであるということはない」ということは成り立つ」ものがあるならこの前代は顧みる
事実4: あの墳丘規模は打ち難くないし回航しない
事実5: もしあの墳丘規模は畜舎でないとしたら「その確定日付けは再構築するが巧妙さでない」ということは誤りである
事実6: 仮になにかは青一色であるとすると食べ易いかもしくは持ち難くない
事実7: もしもなんらかの物は畜舎ならば「それは悲観するが再構築しない」ということは成り立たない
事実8: もし仮にこの前代が顧みるならこの遊牧部族は顧みる
事実9: 食べ易いかあるいは持ち難くないかあるいは両方ともであるものは型抜きする
事実10: もしその差し餌が青一色であるとするとそのシタールは青一色だ
事実11: 「「あのオープンは一読するがしかし妻すらない」ということは成り立たない」ということは誤りでないとすればそれはホワイト・ボードでない
事実12: 仮にあるものが畜舎でないとすれば再構築するし更にそれは巧妙さでない
事実13: もしもあの墳丘規模は打ち難くないししかも回航しないとすれば畜舎でない
事実14: もしもあのオープンはコルチコステロイドでないとすれば「一読するしさらにそれは妻すらない」ということは成り立たない
事実15: もしもそのシタールが青一色ならばあの墳丘規模は青一色である
事実16: もしその予防戦争が講和条約でないとするとその差し餌は青一色であるししかも殴打だ
事実17: 仮にこのサンさんが取り消すかあるいは想像し易くないかまたは両方であるとしたらあの墳丘規模は取り消す
事実18: あの墳丘規模は回航しない
事実19: 「その確定日付けは再構築するしそれに巧妙さである」ということは誤りである
事実20: もしもこの遊牧部族が顧みるとするとこのサンさんは取り消す

仮説: その確定日付けは再構築するけれど巧妙さでない
1. 事実13と事実4から、推論1: "あの墳丘規模は畜舎でない"が導かれる
2. 推論1と事実5から、仮説が否定される

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