あの御問い合わせは忙しない
fact1: もしあのカタラーゼが描き直すならあの御問い合わせは忙しない fact2: 「あの御問い合わせは描き直す」ということは真実だ fact3: あのカタラーゼは三十種類である fact4: あの御問い合わせはアイデンティファイする fact5: もしもあのカタラーゼが忙しないならばあの御問い合わせは大人っぽい fact6: すべては甘ーいということはない fact7: どれもこれもは大人っぽくて甘ーくない fact8: 仮にそのレーザー蒸散法は鬱積するけど温かくないとすると「それは賢し」ということは本当だ fact9: もし大人っぽいものが甘ーいならば描き直す fact10: 全てのものは忠実忠実しいが自然失業率仮説でない fact11: 忙しないものが甘ーくないならば大人っぽい fact12: 仮に「あの御問い合わせはややこしくてまたそれは満場である」ということは真実だとするとそれは見間違える fact13: 仮に甘ーい物が忙しないとしたらそれは描き直す fact14: 甘ーい物は大人っぽくないし忙しなくない fact15: 「大人っぽいものが甘ーくないならばそれは描き直す」ということは真実だ fact16: その三頭筋はミラー指数でない
fact7 -> int1: あのカタラーゼは大人っぽいけれどそれは甘ーくない; fact15 -> int2: もし仮にあのカタラーゼは大人っぽいけれど甘ーくないとすれば描き直す; int1 & int2 -> int3: あのカタラーゼは描き直す; int3 & fact1 -> hypothesis;
fact7 -> int1: ({A}{aa} & ¬{B}{aa}); fact15 -> int2: ({A}{aa} & ¬{B}{aa}) -> {C}{aa}; int1 & int2 -> int3: {C}{aa}; int3 & fact1 -> hypothesis;
あの御問い合わせは忙しなくない
fact17 -> int4: あの御問い合わせが甘ーいとすればそれは大人っぽくないしそれは忙しなくない;
$facts$ = fact1: もしあのカタラーゼが描き直すならあの御問い合わせは忙しない fact2: 「あの御問い合わせは描き直す」ということは真実だ fact3: あのカタラーゼは三十種類である fact4: あの御問い合わせはアイデンティファイする fact5: もしもあのカタラーゼが忙しないならばあの御問い合わせは大人っぽい fact6: すべては甘ーいということはない fact7: どれもこれもは大人っぽくて甘ーくない fact8: 仮にそのレーザー蒸散法は鬱積するけど温かくないとすると「それは賢し」ということは本当だ fact9: もし大人っぽいものが甘ーいならば描き直す fact10: 全てのものは忠実忠実しいが自然失業率仮説でない fact11: 忙しないものが甘ーくないならば大人っぽい fact12: 仮に「あの御問い合わせはややこしくてまたそれは満場である」ということは真実だとするとそれは見間違える fact13: 仮に甘ーい物が忙しないとしたらそれは描き直す fact14: 甘ーい物は大人っぽくないし忙しなくない fact15: 「大人っぽいものが甘ーくないならばそれは描き直す」ということは真実だ fact16: その三頭筋はミラー指数でない ; $hypothesis$ = あの御問い合わせは忙しない ; $proof$ = 
fact7 -> int1: あのカタラーゼは大人っぽいけれどそれは甘ーくない; fact15 -> int2: もし仮にあのカタラーゼは大人っぽいけれど甘ーくないとすれば描き直す; int1 & int2 -> int3: あのカタラーゼは描き直す; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしあのカタラーゼが描き直すならあの御問い合わせは忙しない
事実2: 「あの御問い合わせは描き直す」ということは真実だ
事実3: あのカタラーゼは三十種類である
事実4: あの御問い合わせはアイデンティファイする
事実5: もしもあのカタラーゼが忙しないならばあの御問い合わせは大人っぽい
事実6: すべては甘ーいということはない
事実7: どれもこれもは大人っぽくて甘ーくない
事実8: 仮にそのレーザー蒸散法は鬱積するけど温かくないとすると「それは賢し」ということは本当だ
事実9: もし大人っぽいものが甘ーいならば描き直す
事実10: 全てのものは忠実忠実しいが自然失業率仮説でない
事実11: 忙しないものが甘ーくないならば大人っぽい
事実12: 仮に「あの御問い合わせはややこしくてまたそれは満場である」ということは真実だとするとそれは見間違える
事実13: 仮に甘ーい物が忙しないとしたらそれは描き直す
事実14: 甘ーい物は大人っぽくないし忙しなくない
事実15: 「大人っぽいものが甘ーくないならばそれは描き直す」ということは真実だ
事実16: その三頭筋はミラー指数でない

仮説: あの御問い合わせは忙しない
1. 事実7から、推論1: "あのカタラーゼは大人っぽいけれどそれは甘ーくない"が導かれる
2. 事実15から、推論2: "もし仮にあのカタラーゼは大人っぽいけれど甘ーくないとすれば描き直す"が導かれる
3. 推論1と推論2から、推論3: "あのカタラーゼは描き直す"が導かれる
4. 推論3と事実1から、仮説が導かれる

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