この牛乳は邪魔臭くて更にバッチだ
fact1: 仮にこの汁椀が成人並みだとするとあの折り目はごっつい一方で忍耐強くない fact2: もし仮に「その上訴申し立て期間は成人並みである」ということは成り立つとするとこの汁椀は成人並みだ fact3: その上訴申し立て期間はバッチであるということはないとすれば「この牛乳は邪魔臭いししかもバッチである」ということは誤りである fact4: なにがしかの物は指示収穫地価でないとしたら「それは入坑しなくてそれは知り抜かない」ということは嘘である fact5: もしもなにがしかの物が伯叔だとすればその上訴申し立て期間は成人並みであるかまたは伯叔であるかあるいはどちらもだ fact6: もし「なにがしかの物は入坑しなくてまた知り抜かない」ということは成り立たないとしたらそれは焼却処分しない fact7: もし仮になにがしかのものは四至りであるとすれば「「それは退会するしバッチでない」ということは確かである」ということは誤っている fact8: もしもこの汁椀がバッチでないならこの牛乳は欲深いししかもバッチだ fact9: もしもあの折り目が京都競馬場でないがそれは人選であるなら焼却処分する fact10: もし仮に何らかのものは退会するしさらに欲深いならバッチでない fact11: 「その上訴申し立て期間は退会する」ということは偽でない fact12: もし仮にあの折り目が焼却処分すればこの汁椀は欲深くない fact13: もしもあの折り目がごっつい一方で忍耐強くないとすればこの牛乳は指示収穫地価でない fact14: あの折り目は京都競馬場でない一方でそれは人選だ fact15: もしその上訴申し立て期間が伯叔であるとすればあの汁椀は成人並みである fact16: 「「何かは退会するがそれはバッチでない」ということは事実と異なるとすればバッチだ」ということは正しい fact17: もし「なにがしかの物は焼却処分するということはない」ということは確かであるとすればそれは邪魔臭いしさらにそれは欲深い fact18: 「伯叔な」物はある fact19: あの折り目が京都競馬場でその上それは人選であるとしたらそれは焼却処分する fact20: 「この汁椀は欲深くない」ということは確かだとしたらその上訴申し立て期間が退会するしその上それは欲深い
fact9 & fact14 -> int1: あの折り目は焼却処分する; int1 & fact12 -> int2: この汁椀は欲深いということはない; int2 & fact20 -> int3: その上訴申し立て期間は退会するしかつそれは欲深い; fact10 -> int4: もし仮にその上訴申し立て期間が退会するし更に欲深いならそれはバッチでない; int3 & int4 -> int5: その上訴申し立て期間はバッチでない; int5 & fact3 -> hypothesis;
この牛乳は邪魔臭くてまたバッチだ
fact25 -> int6: この牛乳が焼却処分しないとすれば邪魔臭いしその上欲深い; fact30 -> int7: もしも「この牛乳は入坑しなくてかつ知り抜かない」ということは誤っているとすると焼却処分しない; fact29 -> int8: 仮に「この牛乳は指示収穫地価である」ということは事実と異なるとすると「「入坑しないししかも知り抜かない」ということは成り立つ」ということは成り立たない; fact31 & fact26 -> int9: その上訴申し立て期間は成人並みであるかもしくは伯叔であるか両方だ; int9 & fact23 & fact21 -> int10: 「この汁椀は成人並みである」ということは成り立つ; fact24 & int10 -> int11: あの折り目はごっついけれどそれは忍耐強いということはない; fact27 & int11 -> int12: この牛乳は指示収穫地価だということはない; int8 & int12 -> int13: 「この牛乳は入坑しないしその上知り抜くということはない」ということは事実と異なる; int7 & int13 -> int14: この牛乳は焼却処分するということはない; int6 & int14 -> int15: この牛乳が邪魔臭いしその上欲深い; int15 -> int16: この牛乳は邪魔臭い; fact28 -> int17: 「この牛乳は退会するがそれはバッチでない」ということは偽だとするとそれはバッチである; fact22 -> int18: もし「この牛乳は四至りだ」ということは本当であるならば「それは退会するしバッチでない」ということは誤っている;
$facts$ = fact1: 仮にこの汁椀が成人並みだとするとあの折り目はごっつい一方で忍耐強くない fact2: もし仮に「その上訴申し立て期間は成人並みである」ということは成り立つとするとこの汁椀は成人並みだ fact3: その上訴申し立て期間はバッチであるということはないとすれば「この牛乳は邪魔臭いししかもバッチである」ということは誤りである fact4: なにがしかの物は指示収穫地価でないとしたら「それは入坑しなくてそれは知り抜かない」ということは嘘である fact5: もしもなにがしかの物が伯叔だとすればその上訴申し立て期間は成人並みであるかまたは伯叔であるかあるいはどちらもだ fact6: もし「なにがしかの物は入坑しなくてまた知り抜かない」ということは成り立たないとしたらそれは焼却処分しない fact7: もし仮になにがしかのものは四至りであるとすれば「「それは退会するしバッチでない」ということは確かである」ということは誤っている fact8: もしもこの汁椀がバッチでないならこの牛乳は欲深いししかもバッチだ fact9: もしもあの折り目が京都競馬場でないがそれは人選であるなら焼却処分する fact10: もし仮に何らかのものは退会するしさらに欲深いならバッチでない fact11: 「その上訴申し立て期間は退会する」ということは偽でない fact12: もし仮にあの折り目が焼却処分すればこの汁椀は欲深くない fact13: もしもあの折り目がごっつい一方で忍耐強くないとすればこの牛乳は指示収穫地価でない fact14: あの折り目は京都競馬場でない一方でそれは人選だ fact15: もしその上訴申し立て期間が伯叔であるとすればあの汁椀は成人並みである fact16: 「「何かは退会するがそれはバッチでない」ということは事実と異なるとすればバッチだ」ということは正しい fact17: もし「なにがしかの物は焼却処分するということはない」ということは確かであるとすればそれは邪魔臭いしさらにそれは欲深い fact18: 「伯叔な」物はある fact19: あの折り目が京都競馬場でその上それは人選であるとしたらそれは焼却処分する fact20: 「この汁椀は欲深くない」ということは確かだとしたらその上訴申し立て期間が退会するしその上それは欲深い ; $hypothesis$ = この牛乳は邪魔臭くて更にバッチだ ; $proof$ = 
fact9 & fact14 -> int1: あの折り目は焼却処分する; int1 & fact12 -> int2: この汁椀は欲深いということはない; int2 & fact20 -> int3: その上訴申し立て期間は退会するしかつそれは欲深い; fact10 -> int4: もし仮にその上訴申し立て期間が退会するし更に欲深いならそれはバッチでない; int3 & int4 -> int5: その上訴申し立て期間はバッチでない; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮にこの汁椀が成人並みだとするとあの折り目はごっつい一方で忍耐強くない
事実2: もし仮に「その上訴申し立て期間は成人並みである」ということは成り立つとするとこの汁椀は成人並みだ
事実3: その上訴申し立て期間はバッチであるということはないとすれば「この牛乳は邪魔臭いししかもバッチである」ということは誤りである
事実4: なにがしかの物は指示収穫地価でないとしたら「それは入坑しなくてそれは知り抜かない」ということは嘘である
事実5: もしもなにがしかの物が伯叔だとすればその上訴申し立て期間は成人並みであるかまたは伯叔であるかあるいはどちらもだ
事実6: もし「なにがしかの物は入坑しなくてまた知り抜かない」ということは成り立たないとしたらそれは焼却処分しない
事実7: もし仮になにがしかのものは四至りであるとすれば「「それは退会するしバッチでない」ということは確かである」ということは誤っている
事実8: もしもこの汁椀がバッチでないならこの牛乳は欲深いししかもバッチだ
事実9: もしもあの折り目が京都競馬場でないがそれは人選であるなら焼却処分する
事実10: もし仮に何らかのものは退会するしさらに欲深いならバッチでない
事実11: 「その上訴申し立て期間は退会する」ということは偽でない
事実12: もし仮にあの折り目が焼却処分すればこの汁椀は欲深くない
事実13: もしもあの折り目がごっつい一方で忍耐強くないとすればこの牛乳は指示収穫地価でない
事実14: あの折り目は京都競馬場でない一方でそれは人選だ
事実15: もしその上訴申し立て期間が伯叔であるとすればあの汁椀は成人並みである
事実16: 「「何かは退会するがそれはバッチでない」ということは事実と異なるとすればバッチだ」ということは正しい
事実17: もし「なにがしかの物は焼却処分するということはない」ということは確かであるとすればそれは邪魔臭いしさらにそれは欲深い
事実18: 「伯叔な」物はある
事実19: あの折り目が京都競馬場でその上それは人選であるとしたらそれは焼却処分する
事実20: 「この汁椀は欲深くない」ということは確かだとしたらその上訴申し立て期間が退会するしその上それは欲深い

仮説: この牛乳は邪魔臭くて更にバッチだ
1. 事実9と事実14から、推論1: "あの折り目は焼却処分する"が導かれる
2. 推論1と事実12から、推論2: "この汁椀は欲深いということはない"が導かれる
3. 推論2と事実20から、推論3: "その上訴申し立て期間は退会するしかつそれは欲深い"が導かれる
4. 事実10から、推論4: "もし仮にその上訴申し立て期間が退会するし更に欲深いならそれはバッチでない"が導かれる
5. 推論3と推論4から、推論5: "その上訴申し立て期間はバッチでない"が導かれる
6. 推論5と事実3から、仮説が否定される

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