その初演台帳は賢し
fact1: もし仮にその写真上が赤っぽいならばあの無蓋車は赤っぽい fact2: あのサービス回数は卑しいしさらに日向地方だ fact3: このＯＮＵＣが飛び退くならばあの写真上は赤っぽい fact4: 仮に卑しい物は日向地方であるならそれは換気機でない fact5: 「その同和教育研究協議会は誤用するということはない一方でそれは匪団だ」ということは嘘である fact6: 仮に「とあるものは白玉である」ということは成り立つとしたら「テキストでないが賢し」ということは誤りだ fact7: 仮にとあるものが噛み分けるとすればそれは赤っぽくないかまたはそれは飛び退かないかあるいはどちらもである fact8: もしもなにかは赤っぽいとしたらそれは白玉であるということはないししかも賢し fact9: その同和教育研究協議会が賢しならその初演台帳は賢し fact10: もしもなにかは換気機でないとすれば諸影響でない一方で使い辛い fact11: もし仮にその無蓋車が白玉でないが賢しとすればその同和教育研究協議会は賢し fact12: もし「その同和教育研究協議会は誤用しないが匪団だ」ということは間違いだとすると「その無蓋車は赤っぽくない」ということは成り立つ fact13: もし仮にあの自衛本能が御指導頂かないとするとこのＯＮＵＣは飛び退くし更に噛み分ける fact14: もし仮になにかは推進出来ないけれど破れ難いならばそれは御指導頂かない fact15: 「その無蓋車は白玉である一方で飛び退かない」ということは成り立たない fact16: 仮にその同和教育研究協議会が御指導頂くとしたらあの諸個人は噛み分ける fact17: もしも赤っぽくない物が白玉でないならその初演台帳は賢しない fact18: あのアイボリーが浮き立たないとしたらあの自衛本能は推進出来ないがしかし破れ難い fact19: 赤っぽいということはないものはある fact20: 仮に「その無蓋車は白玉であるがしかし飛び退くということはない」ということは事実と異なるとすればそれは白玉でない
fact12 & fact5 -> int1: その無蓋車は赤っぽくない; fact15 & fact20 -> int2: その無蓋車は白玉だということはない; int1 & int2 -> int3: その無蓋車は赤っぽくないし白玉でない; int3 -> int4: 「赤っぽくないし白玉でない」ものはある; int4 & fact17 -> hypothesis;
その初演台帳は賢し
fact27 -> int5: その無蓋車が赤っぽいとすれば白玉でないが賢し; fact26 -> int6: あの自衛本能は推進出来ない一方で破れ難いとしたらそれは御指導頂かない; fact29 -> int7: 「あのサービス回数が換気機だということはないとすればあのサービス回数は諸影響でない一方で使い辛い」ということは確かである; fact22 -> int8: もしあのサービス回数が卑しいし加えて日向地方であるとすればそれは換気機でない; int8 & fact24 -> int9: あのサービス回数は換気機だということはない; int7 & int9 -> int10: 「あのサービス回数は諸影響でないがしかし使い辛い」ということは真実である; int10 -> int11: 「諸影響だということはないけど使い辛い」ものはある;
$facts$ = fact1: もし仮にその写真上が赤っぽいならばあの無蓋車は赤っぽい fact2: あのサービス回数は卑しいしさらに日向地方だ fact3: このＯＮＵＣが飛び退くならばあの写真上は赤っぽい fact4: 仮に卑しい物は日向地方であるならそれは換気機でない fact5: 「その同和教育研究協議会は誤用するということはない一方でそれは匪団だ」ということは嘘である fact6: 仮に「とあるものは白玉である」ということは成り立つとしたら「テキストでないが賢し」ということは誤りだ fact7: 仮にとあるものが噛み分けるとすればそれは赤っぽくないかまたはそれは飛び退かないかあるいはどちらもである fact8: もしもなにかは赤っぽいとしたらそれは白玉であるということはないししかも賢し fact9: その同和教育研究協議会が賢しならその初演台帳は賢し fact10: もしもなにかは換気機でないとすれば諸影響でない一方で使い辛い fact11: もし仮にその無蓋車が白玉でないが賢しとすればその同和教育研究協議会は賢し fact12: もし「その同和教育研究協議会は誤用しないが匪団だ」ということは間違いだとすると「その無蓋車は赤っぽくない」ということは成り立つ fact13: もし仮にあの自衛本能が御指導頂かないとするとこのＯＮＵＣは飛び退くし更に噛み分ける fact14: もし仮になにかは推進出来ないけれど破れ難いならばそれは御指導頂かない fact15: 「その無蓋車は白玉である一方で飛び退かない」ということは成り立たない fact16: 仮にその同和教育研究協議会が御指導頂くとしたらあの諸個人は噛み分ける fact17: もしも赤っぽくない物が白玉でないならその初演台帳は賢しない fact18: あのアイボリーが浮き立たないとしたらあの自衛本能は推進出来ないがしかし破れ難い fact19: 赤っぽいということはないものはある fact20: 仮に「その無蓋車は白玉であるがしかし飛び退くということはない」ということは事実と異なるとすればそれは白玉でない ; $hypothesis$ = その初演台帳は賢し ; $proof$ = 
fact12 & fact5 -> int1: その無蓋車は赤っぽくない; fact15 & fact20 -> int2: その無蓋車は白玉だということはない; int1 & int2 -> int3: その無蓋車は赤っぽくないし白玉でない; int3 -> int4: 「赤っぽくないし白玉でない」ものはある; int4 & fact17 -> hypothesis; __DISPROVED__
事実1: もし仮にその写真上が赤っぽいならばあの無蓋車は赤っぽい
事実2: あのサービス回数は卑しいしさらに日向地方だ
事実3: このＯＮＵＣが飛び退くならばあの写真上は赤っぽい
事実4: 仮に卑しい物は日向地方であるならそれは換気機でない
事実5: 「その同和教育研究協議会は誤用するということはない一方でそれは匪団だ」ということは嘘である
事実6: 仮に「とあるものは白玉である」ということは成り立つとしたら「テキストでないが賢し」ということは誤りだ
事実7: 仮にとあるものが噛み分けるとすればそれは赤っぽくないかまたはそれは飛び退かないかあるいはどちらもである
事実8: もしもなにかは赤っぽいとしたらそれは白玉であるということはないししかも賢し
事実9: その同和教育研究協議会が賢しならその初演台帳は賢し
事実10: もしもなにかは換気機でないとすれば諸影響でない一方で使い辛い
事実11: もし仮にその無蓋車が白玉でないが賢しとすればその同和教育研究協議会は賢し
事実12: もし「その同和教育研究協議会は誤用しないが匪団だ」ということは間違いだとすると「その無蓋車は赤っぽくない」ということは成り立つ
事実13: もし仮にあの自衛本能が御指導頂かないとするとこのＯＮＵＣは飛び退くし更に噛み分ける
事実14: もし仮になにかは推進出来ないけれど破れ難いならばそれは御指導頂かない
事実15: 「その無蓋車は白玉である一方で飛び退かない」ということは成り立たない
事実16: 仮にその同和教育研究協議会が御指導頂くとしたらあの諸個人は噛み分ける
事実17: もしも赤っぽくない物が白玉でないならその初演台帳は賢しない
事実18: あのアイボリーが浮き立たないとしたらあの自衛本能は推進出来ないがしかし破れ難い
事実19: 赤っぽいということはないものはある
事実20: 仮に「その無蓋車は白玉であるがしかし飛び退くということはない」ということは事実と異なるとすればそれは白玉でない

仮説: その初演台帳は賢し
1. 事実12と事実5から、推論1: "その無蓋車は赤っぽくない"が導かれる
2. 事実15と事実20から、推論2: "その無蓋車は白玉だということはない"が導かれる
3. 推論1と推論2から、推論3: "その無蓋車は赤っぽくないし白玉でない"が導かれる
4. 推論3から、推論4: "「赤っぽくないし白玉でない」ものはある"が導かれる
5. 推論4と事実17から、仮説が否定される

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