あの確認方法は物らしくない
fact1: あの確認方法は売り渡すということはない fact2: その教育的側面は売り渡すかもしくは如才無くない fact3: この武装蜂起は如才無いかあるいはそれは注文出来ないか両方である fact4: 仮に何かは行き違うしそれが物らしいとしたらこの武装蜂起は卑しい fact5: もし何らかの物は行き違うとしたら「それは売り渡すかあるいはそれは如才無くない」ということは偽である fact6: 「「物らしい」ということは誤りでない」ものはある fact7: もしもその教育的側面が売り渡さないとすればあの確認方法は物らしい fact8: 仮に「この武装蜂起は売り渡すか如才無くないかどちらもだ」ということは事実と異なるとしたらその教育的側面は売り渡さない fact9: 「「行き違う」ということは成り立つ」ものはある fact10: もしもその教育的側面が売り渡すとしたらあの確認方法は如才無い fact11: 仮にそのＭＩＮＩが注文出来るということはないが起こり易いとすればこの武装蜂起は注文出来ない fact12: その教育的側面が売り渡すとするとあの確認方法は行き違う fact13: この武装蜂起は卑しくないしかつ注文出来ない fact14: この武装蜂起は注文出来ない fact15: この武装蜂起は売り渡す fact16: もしその教育的側面が如才無くないとしたらあの確認方法は行き違う fact17: 「注文出来るし売り渡す」ものはある
fact2 & fact12 & fact16 -> int1: あの確認方法は行き違う; void -> assump1: 以下のように仮定する。あの確認方法は物らしい; int1 & assump1 -> int2: あの確認方法は行き違うし物らしい; int2 -> int3: 「行き違うしまた物らしい」物はある; int3 & fact4 -> int4: 「この武装蜂起は卑しい」ということは偽でない; fact13 -> int5: この武装蜂起は卑しくない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの確認方法は物らしい
fact20 -> int7: 仮にこの武装蜂起は行き違うなら「売り渡すかあるいは如才無くない」ということは成り立たない;
$facts$ = fact1: あの確認方法は売り渡すということはない fact2: その教育的側面は売り渡すかもしくは如才無くない fact3: この武装蜂起は如才無いかあるいはそれは注文出来ないか両方である fact4: 仮に何かは行き違うしそれが物らしいとしたらこの武装蜂起は卑しい fact5: もし何らかの物は行き違うとしたら「それは売り渡すかあるいはそれは如才無くない」ということは偽である fact6: 「「物らしい」ということは誤りでない」ものはある fact7: もしもその教育的側面が売り渡さないとすればあの確認方法は物らしい fact8: 仮に「この武装蜂起は売り渡すか如才無くないかどちらもだ」ということは事実と異なるとしたらその教育的側面は売り渡さない fact9: 「「行き違う」ということは成り立つ」ものはある fact10: もしもその教育的側面が売り渡すとしたらあの確認方法は如才無い fact11: 仮にそのＭＩＮＩが注文出来るということはないが起こり易いとすればこの武装蜂起は注文出来ない fact12: その教育的側面が売り渡すとするとあの確認方法は行き違う fact13: この武装蜂起は卑しくないしかつ注文出来ない fact14: この武装蜂起は注文出来ない fact15: この武装蜂起は売り渡す fact16: もしその教育的側面が如才無くないとしたらあの確認方法は行き違う fact17: 「注文出来るし売り渡す」ものはある ; $hypothesis$ = あの確認方法は物らしくない ; $proof$ = 
fact2 & fact12 & fact16 -> int1: あの確認方法は行き違う; void -> assump1: 以下のように仮定する。あの確認方法は物らしい; int1 & assump1 -> int2: あの確認方法は行き違うし物らしい; int2 -> int3: 「行き違うしまた物らしい」物はある; int3 & fact4 -> int4: 「この武装蜂起は卑しい」ということは偽でない; fact13 -> int5: この武装蜂起は卑しくない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: あの確認方法は売り渡すということはない
事実2: その教育的側面は売り渡すかもしくは如才無くない
事実3: この武装蜂起は如才無いかあるいはそれは注文出来ないか両方である
事実4: 仮に何かは行き違うしそれが物らしいとしたらこの武装蜂起は卑しい
事実5: もし何らかの物は行き違うとしたら「それは売り渡すかあるいはそれは如才無くない」ということは偽である
事実6: 「「物らしい」ということは誤りでない」ものはある
事実7: もしもその教育的側面が売り渡さないとすればあの確認方法は物らしい
事実8: 仮に「この武装蜂起は売り渡すか如才無くないかどちらもだ」ということは事実と異なるとしたらその教育的側面は売り渡さない
事実9: 「「行き違う」ということは成り立つ」ものはある
事実10: もしもその教育的側面が売り渡すとしたらあの確認方法は如才無い
事実11: 仮にそのＭＩＮＩが注文出来るということはないが起こり易いとすればこの武装蜂起は注文出来ない
事実12: その教育的側面が売り渡すとするとあの確認方法は行き違う
事実13: この武装蜂起は卑しくないしかつ注文出来ない
事実14: この武装蜂起は注文出来ない
事実15: この武装蜂起は売り渡す
事実16: もしその教育的側面が如才無くないとしたらあの確認方法は行き違う
事実17: 「注文出来るし売り渡す」ものはある

仮説: あの確認方法は物らしくない
1. 事実2と事実12と事実16から、推論1: "あの確認方法は行き違う"が導かれる
2. 仮定1: 以下のように仮定する。あの確認方法は物らしい
3. 推論1と仮定1から、推論2: "あの確認方法は行き違うし物らしい"が導かれる
4. 推論2から、推論3: "「行き違うしまた物らしい」物はある"が導かれる
5. 推論3と事実4から、推論4: "「この武装蜂起は卑しい」ということは偽でない"が導かれる
6. 事実13から、推論5: "この武装蜂起は卑しくない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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