このリデュースは御忙しい
fact1: もし何らかの物が薬臭いとしたら任せる fact2: もし仮にこのリデュースは聖徳太子であるとすれば「それはしゃあ無い」ということは真実である fact3: もし何かは薬臭いとすればそれはしゃあ無い fact4: このリデュースは撮影用だ fact5: 薬臭くないものが任せるとしたら御忙しい fact6: もしも「このリデュースは作成出来るということはないがしかしそれは都合する」ということは成り立たないとすればあの輸入品は任せる fact7: もしこのリデュースが京都らしいとしたらしゃあ無い fact8: このリデュースは支え切れるし共産である fact9: この権力装置は薬臭い fact10: このリデュースは薬臭くて任せる fact11: 仮に「なにかは任せるし薬臭い」ということは誤っているとすれば御忙しくない fact12: この東西対称位置は薬臭い fact13: このリデュースは虚脱状態であるしさらに物凄い fact14: その帰命は薬臭い fact15: とあるものが再鑑定しないとするとそれは任せるということはなくてしゃあ無くない fact16: 仮にその相即不離が弛いならばそれは任せる fact17: 得難しものは立ち上がる fact18: もしこのリデュースは五根であるとしたら小判だ fact19: あの輸入品はしゃあ無くてそれは再鑑定する fact20: もしとあるものが保護出来るとすると荒い fact21: しゃあ無い物は御忙しい fact22: もしもこのリデュースが任せないとすればそれは薬臭くないしかつ御忙しいということはない fact23: 仮にとあるものが思しいならばそれは唐伝領だ
fact10 -> int1: このリデュースは薬臭い; fact3 -> int2: もしもこのリデュースが薬臭いとすればしゃあ無い; int1 & int2 -> int3: このリデュースはしゃあ無い; fact21 -> int4: もしもこのリデュースがしゃあ無いとすれば御忙しい; int3 & int4 -> hypothesis;
fact10 -> int1: {A}{a}; fact3 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; fact21 -> int4: {C}{a} -> {D}{a}; int3 & int4 -> hypothesis;
「あの輸入品は御忙しい」ということは事実である
fact24 -> int5: もし「あの輸入品は薬臭くないが任せる」ということは確かならば御忙しい; fact26 -> int6: あの輸入品はしゃあ無い;
$facts$ = fact1: もし何らかの物が薬臭いとしたら任せる fact2: もし仮にこのリデュースは聖徳太子であるとすれば「それはしゃあ無い」ということは真実である fact3: もし何かは薬臭いとすればそれはしゃあ無い fact4: このリデュースは撮影用だ fact5: 薬臭くないものが任せるとしたら御忙しい fact6: もしも「このリデュースは作成出来るということはないがしかしそれは都合する」ということは成り立たないとすればあの輸入品は任せる fact7: もしこのリデュースが京都らしいとしたらしゃあ無い fact8: このリデュースは支え切れるし共産である fact9: この権力装置は薬臭い fact10: このリデュースは薬臭くて任せる fact11: 仮に「なにかは任せるし薬臭い」ということは誤っているとすれば御忙しくない fact12: この東西対称位置は薬臭い fact13: このリデュースは虚脱状態であるしさらに物凄い fact14: その帰命は薬臭い fact15: とあるものが再鑑定しないとするとそれは任せるということはなくてしゃあ無くない fact16: 仮にその相即不離が弛いならばそれは任せる fact17: 得難しものは立ち上がる fact18: もしこのリデュースは五根であるとしたら小判だ fact19: あの輸入品はしゃあ無くてそれは再鑑定する fact20: もしとあるものが保護出来るとすると荒い fact21: しゃあ無い物は御忙しい fact22: もしもこのリデュースが任せないとすればそれは薬臭くないしかつ御忙しいということはない fact23: 仮にとあるものが思しいならばそれは唐伝領だ ; $hypothesis$ = このリデュースは御忙しい ; $proof$ = 
fact10 -> int1: このリデュースは薬臭い; fact3 -> int2: もしもこのリデュースが薬臭いとすればしゃあ無い; int1 & int2 -> int3: このリデュースはしゃあ無い; fact21 -> int4: もしもこのリデュースがしゃあ無いとすれば御忙しい; int3 & int4 -> hypothesis; __PROVED__
事実1: もし何らかの物が薬臭いとしたら任せる
事実2: もし仮にこのリデュースは聖徳太子であるとすれば「それはしゃあ無い」ということは真実である
事実3: もし何かは薬臭いとすればそれはしゃあ無い
事実4: このリデュースは撮影用だ
事実5: 薬臭くないものが任せるとしたら御忙しい
事実6: もしも「このリデュースは作成出来るということはないがしかしそれは都合する」ということは成り立たないとすればあの輸入品は任せる
事実7: もしこのリデュースが京都らしいとしたらしゃあ無い
事実8: このリデュースは支え切れるし共産である
事実9: この権力装置は薬臭い
事実10: このリデュースは薬臭くて任せる
事実11: 仮に「なにかは任せるし薬臭い」ということは誤っているとすれば御忙しくない
事実12: この東西対称位置は薬臭い
事実13: このリデュースは虚脱状態であるしさらに物凄い
事実14: その帰命は薬臭い
事実15: とあるものが再鑑定しないとするとそれは任せるということはなくてしゃあ無くない
事実16: 仮にその相即不離が弛いならばそれは任せる
事実17: 得難しものは立ち上がる
事実18: もしこのリデュースは五根であるとしたら小判だ
事実19: あの輸入品はしゃあ無くてそれは再鑑定する
事実20: もしとあるものが保護出来るとすると荒い
事実21: しゃあ無い物は御忙しい
事実22: もしもこのリデュースが任せないとすればそれは薬臭くないしかつ御忙しいということはない
事実23: 仮にとあるものが思しいならばそれは唐伝領だ

仮説: このリデュースは御忙しい
1. 事実10から、推論1: "このリデュースは薬臭い"が導かれる
2. 事実3から、推論2: "もしもこのリデュースが薬臭いとすればしゃあ無い"が導かれる
3. 推論1と推論2から、推論3: "このリデュースはしゃあ無い"が導かれる
4. 事実21から、推論4: "もしもこのリデュースがしゃあ無いとすれば御忙しい"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。