もしもこの多細胞化が旨いならばあのシャトーは疾し
fact1: もし「伝え始めないしその上榾木用でない」物はあるなら「この多細胞化は旨くない」ということは確かだ fact2: なんらかのものは伝え始める一方でそれは榾木用でない fact3: そのシャトーは榾木用でない fact4: この多細胞化は旨くないとすると「それは疾しないしおまけに伝え始めない」ということは成り立つ fact5: この横領罪は旨い fact6: そのシャトーは旨い fact7: もしそのシャトーは戻し易くないなら「観ぜないか旨くない」ということは成り立たない fact8: なんらかの物は諧調でないけれど珍しい fact9: 「疾しない」物はある fact10: もし仮に「そのシャトーは観ぜないかもしくは旨くないかもしくは両方だ」ということは誤っているとすればあの多細胞化は疾しない fact11: 「幼くない」ものはある fact12: もしもそのシャトーが旨くないとするとそれは疾しないしまた伝え始めない fact13: もし仮にあの濶部が雑談しないならばそれはエグゼクティブ・ジェットでないしかつそれは旨くない fact14: なんらかのものが伝え始めないしかつ榾木用でないとすればこの多細胞化は旨い fact15: 「旨くない」ものはある fact16: あるものは臨時報告書でない fact17: もし仮にそのシャトーが疾しないとしたらそれは伝え始めなくてしかも榾木用だということはない fact18: 「ハイエースファンでなくて激発するということはない」物はある fact19: この多細胞化は伝え始めない fact20: 「そのシャトーは疾しない」ということは間違っているということはないならばそれは榾木用であるということはない fact21: 疾しないものは貸借関係でなくて榾木用でない
void -> assump1: 以下のように仮定する。「そのシャトーは疾し」ということは間違っている; fact17 & assump1 -> int1: そのシャトーは伝え始めなくて榾木用でない; int1 -> int2: 「「伝え始めなくて更に榾木用でない」ということは事実である」ものはある; int2 & fact1 -> int3: この多細胞化は旨くない; void -> assump2: 以下のように仮定する。この多細胞化は旨い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「そのシャトーは疾し」ということは誤っていない; [assump2] & int5 -> hypothesis;
この多細胞化は貸借関係でないし榾木用でない
fact24 -> int6: 仮にこの多細胞化が疾しということはないならば貸借関係でないしそれは榾木用でない;
$facts$ = fact1: もし「伝え始めないしその上榾木用でない」物はあるなら「この多細胞化は旨くない」ということは確かだ fact2: なんらかのものは伝え始める一方でそれは榾木用でない fact3: そのシャトーは榾木用でない fact4: この多細胞化は旨くないとすると「それは疾しないしおまけに伝え始めない」ということは成り立つ fact5: この横領罪は旨い fact6: そのシャトーは旨い fact7: もしそのシャトーは戻し易くないなら「観ぜないか旨くない」ということは成り立たない fact8: なんらかの物は諧調でないけれど珍しい fact9: 「疾しない」物はある fact10: もし仮に「そのシャトーは観ぜないかもしくは旨くないかもしくは両方だ」ということは誤っているとすればあの多細胞化は疾しない fact11: 「幼くない」ものはある fact12: もしもそのシャトーが旨くないとするとそれは疾しないしまた伝え始めない fact13: もし仮にあの濶部が雑談しないならばそれはエグゼクティブ・ジェットでないしかつそれは旨くない fact14: なんらかのものが伝え始めないしかつ榾木用でないとすればこの多細胞化は旨い fact15: 「旨くない」ものはある fact16: あるものは臨時報告書でない fact17: もし仮にそのシャトーが疾しないとしたらそれは伝え始めなくてしかも榾木用だということはない fact18: 「ハイエースファンでなくて激発するということはない」物はある fact19: この多細胞化は伝え始めない fact20: 「そのシャトーは疾しない」ということは間違っているということはないならばそれは榾木用であるということはない fact21: 疾しないものは貸借関係でなくて榾木用でない ; $hypothesis$ = もしもこの多細胞化が旨いならばあのシャトーは疾し ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのシャトーは疾し」ということは間違っている; fact17 & assump1 -> int1: そのシャトーは伝え始めなくて榾木用でない; int1 -> int2: 「「伝え始めなくて更に榾木用でない」ということは事実である」ものはある; int2 & fact1 -> int3: この多細胞化は旨くない; void -> assump2: 以下のように仮定する。この多細胞化は旨い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「そのシャトーは疾し」ということは誤っていない; [assump2] & int5 -> hypothesis; __PROVED__
事実1: もし「伝え始めないしその上榾木用でない」物はあるなら「この多細胞化は旨くない」ということは確かだ
事実2: なんらかのものは伝え始める一方でそれは榾木用でない
事実3: そのシャトーは榾木用でない
事実4: この多細胞化は旨くないとすると「それは疾しないしおまけに伝え始めない」ということは成り立つ
事実5: この横領罪は旨い
事実6: そのシャトーは旨い
事実7: もしそのシャトーは戻し易くないなら「観ぜないか旨くない」ということは成り立たない
事実8: なんらかの物は諧調でないけれど珍しい
事実9: 「疾しない」物はある
事実10: もし仮に「そのシャトーは観ぜないかもしくは旨くないかもしくは両方だ」ということは誤っているとすればあの多細胞化は疾しない
事実11: 「幼くない」ものはある
事実12: もしもそのシャトーが旨くないとするとそれは疾しないしまた伝え始めない
事実13: もし仮にあの濶部が雑談しないならばそれはエグゼクティブ・ジェットでないしかつそれは旨くない
事実14: なんらかのものが伝え始めないしかつ榾木用でないとすればこの多細胞化は旨い
事実15: 「旨くない」ものはある
事実16: あるものは臨時報告書でない
事実17: もし仮にそのシャトーが疾しないとしたらそれは伝え始めなくてしかも榾木用だということはない
事実18: 「ハイエースファンでなくて激発するということはない」物はある
事実19: この多細胞化は伝え始めない
事実20: 「そのシャトーは疾しない」ということは間違っているということはないならばそれは榾木用であるということはない
事実21: 疾しないものは貸借関係でなくて榾木用でない

仮説: もしもこの多細胞化が旨いならばあのシャトーは疾し
1. 仮定1: 以下のように仮定する。「そのシャトーは疾し」ということは間違っている
2. 事実17と仮定1から、推論1: "そのシャトーは伝え始めなくて榾木用でない"が導かれる
3. 推論1から、推論2: "「「伝え始めなくて更に榾木用でない」ということは事実である」ものはある"が導かれる
4. 推論2と事実1から、推論3: "この多細胞化は旨くない"が導かれる
5. 仮定2: 以下のように仮定する。この多細胞化は旨い
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "「そのシャトーは疾し」ということは誤っていない"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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