なんらかの物は懺悔しなくてまたそれは幻滅するということはない
fact1: 「その三数が被曝であるならばあの三数は易しくないしおまけに間近くない」ということは間違いでない fact2: 何らかのものは懺悔するけどそれは幻滅しない fact3: もしもその塩素系がトリアムシノロンでないならこの歌い手は合成動詞でなくてソードでない fact4: 仮にあのリボルビングシステムがアクセサリー作りであるかあるいは幻滅しないかあるいはどちらもだとしたら「その塩素系は幻滅するということはない」ということは成り立つ fact5: もしとあるものが調査すれば懺悔するということはない fact6: 「懺悔しない」ものはある fact7: この歌い手はアクセサリー作りである fact8: 「もしもこの歌い手がトリアムシノロンでないならこの歌い手はフランス磁器だ」ということは確かである fact9: 「幻滅しない」ものはある fact10: もしこの歌い手が分かり難くないとすると優し fact11: なにがしかのものが調査すとしたらそれは懺悔するということはないししかもそれは幻滅しない fact12: もし仮にとあるものが懺悔するとすればそれはトリアムシノロンでなくておまけにそれは調査すらない fact13: もしこの代打は御頼みするとすれば「それは易しい」ということは成り立つ fact14: この歌い手はトリアムシノロンでない fact15: あのリボルビングシステムは感じ難いということはない fact16: もしこの歌い手はトリアムシノロンでないとすると切れ易い fact17: もしもこの歌い手が調査すれば懺悔しない fact18: もし仮にあのリボルビングシステムが感じ難くないならそれはアクセサリー作りであるかまたは幻滅しないかまたは両方ともである fact19: 切れ易い物は調査す
fact16 & fact14 -> int1: この歌い手は切れ易い; fact19 -> int2: 仮にこの歌い手が切れ易いとすれば調査す; int1 & int2 -> int3: この歌い手は調査す; fact11 -> int4: この歌い手が調査すとしたらそれは懺悔しなくてその上幻滅しない; int3 & int4 -> int5: この歌い手は懺悔しなくて加えて幻滅しない; int5 -> hypothesis;
この歌い手は合成動詞でなくてそれはソードでない
fact21 & fact20 -> int6: あのリボルビングシステムはアクセサリー作りであるかまたは幻滅しないか両方ともである; fact22 & int6 -> int7: その塩素系は幻滅しない;
$facts$ = fact1: 「その三数が被曝であるならばあの三数は易しくないしおまけに間近くない」ということは間違いでない fact2: 何らかのものは懺悔するけどそれは幻滅しない fact3: もしもその塩素系がトリアムシノロンでないならこの歌い手は合成動詞でなくてソードでない fact4: 仮にあのリボルビングシステムがアクセサリー作りであるかあるいは幻滅しないかあるいはどちらもだとしたら「その塩素系は幻滅するということはない」ということは成り立つ fact5: もしとあるものが調査すれば懺悔するということはない fact6: 「懺悔しない」ものはある fact7: この歌い手はアクセサリー作りである fact8: 「もしもこの歌い手がトリアムシノロンでないならこの歌い手はフランス磁器だ」ということは確かである fact9: 「幻滅しない」ものはある fact10: もしこの歌い手が分かり難くないとすると優し fact11: なにがしかのものが調査すとしたらそれは懺悔するということはないししかもそれは幻滅しない fact12: もし仮にとあるものが懺悔するとすればそれはトリアムシノロンでなくておまけにそれは調査すらない fact13: もしこの代打は御頼みするとすれば「それは易しい」ということは成り立つ fact14: この歌い手はトリアムシノロンでない fact15: あのリボルビングシステムは感じ難いということはない fact16: もしこの歌い手はトリアムシノロンでないとすると切れ易い fact17: もしもこの歌い手が調査すれば懺悔しない fact18: もし仮にあのリボルビングシステムが感じ難くないならそれはアクセサリー作りであるかまたは幻滅しないかまたは両方ともである fact19: 切れ易い物は調査す ; $hypothesis$ = なんらかの物は懺悔しなくてまたそれは幻滅するということはない ; $proof$ = 
fact16 & fact14 -> int1: この歌い手は切れ易い; fact19 -> int2: 仮にこの歌い手が切れ易いとすれば調査す; int1 & int2 -> int3: この歌い手は調査す; fact11 -> int4: この歌い手が調査すとしたらそれは懺悔しなくてその上幻滅しない; int3 & int4 -> int5: この歌い手は懺悔しなくて加えて幻滅しない; int5 -> hypothesis; __PROVED__
事実1: 「その三数が被曝であるならばあの三数は易しくないしおまけに間近くない」ということは間違いでない
事実2: 何らかのものは懺悔するけどそれは幻滅しない
事実3: もしもその塩素系がトリアムシノロンでないならこの歌い手は合成動詞でなくてソードでない
事実4: 仮にあのリボルビングシステムがアクセサリー作りであるかあるいは幻滅しないかあるいはどちらもだとしたら「その塩素系は幻滅するということはない」ということは成り立つ
事実5: もしとあるものが調査すれば懺悔するということはない
事実6: 「懺悔しない」ものはある
事実7: この歌い手はアクセサリー作りである
事実8: 「もしもこの歌い手がトリアムシノロンでないならこの歌い手はフランス磁器だ」ということは確かである
事実9: 「幻滅しない」ものはある
事実10: もしこの歌い手が分かり難くないとすると優し
事実11: なにがしかのものが調査すとしたらそれは懺悔するということはないししかもそれは幻滅しない
事実12: もし仮にとあるものが懺悔するとすればそれはトリアムシノロンでなくておまけにそれは調査すらない
事実13: もしこの代打は御頼みするとすれば「それは易しい」ということは成り立つ
事実14: この歌い手はトリアムシノロンでない
事実15: あのリボルビングシステムは感じ難いということはない
事実16: もしこの歌い手はトリアムシノロンでないとすると切れ易い
事実17: もしもこの歌い手が調査すれば懺悔しない
事実18: もし仮にあのリボルビングシステムが感じ難くないならそれはアクセサリー作りであるかまたは幻滅しないかまたは両方ともである
事実19: 切れ易い物は調査す

仮説: なんらかの物は懺悔しなくてまたそれは幻滅するということはない
1. 事実16と事実14から、推論1: "この歌い手は切れ易い"が導かれる
2. 事実19から、推論2: "仮にこの歌い手が切れ易いとすれば調査す"が導かれる
3. 推論1と推論2から、推論3: "この歌い手は調査す"が導かれる
4. 事実11から、推論4: "この歌い手が調査すとしたらそれは懺悔しなくてその上幻滅しない"が導かれる
5. 推論3と推論4から、推論5: "この歌い手は懺悔しなくて加えて幻滅しない"が導かれる
6. 推論5から、仮説が導かれる

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