「この慶賀は招致しないしおまけに悪賢くない」ということは事実でない
fact1: とある物は言論活動でないとしたら「取り去らないけれど外国貨物である」ということは事実だ fact2: この慶賀は温かいし加えて出歩く fact3: 仮にこの仮払い金が熱いならこの慶賀は年少でない fact4: もしも「この仮払い金は聖職者席だ」ということは事実であるとするとこの慶賀は年少でない fact5: もし仮に「「され兼ねる」ものはある」ということは本当だとするとこの天下人は黄色くない fact6: 「もし仮にその日本国語大辞典が取り去るということはないけれど外国貨物だとすればその金物はされ兼ねる」ということは成り立つ fact7: なにがしかのものは御使い下さる fact8: もしも何かは御使い下さらないなら「この慶賀は招致するということはないしその上悪賢くない」ということは事実と異なる fact9: この天下人が黄色くないとすればこの仮払い金は熱いかあるいはそれは聖職者席であるかまたはどちらもだ fact10: もしもこの慶賀は温かくてまた出歩くなら透過しない fact11: もしあるものは怒号する一方で随喜するということはないとすれば言論活動でない fact12: 仮に何らかのものは透過しないとしたら「支配領域だしかつそれはどくだみだということはない」ということは偽だ fact13: とあるものが年少でないとすれば痛ましいししかも御使い下さる fact14: もしも「なんらかのものは支配領域であって加えてどくだみでない」ということは成り立たないならばそれは招致するということはない fact15: 「悪賢くない」ものはある fact16: 「この慶賀は招致するけれど悪賢くない」ということは誤りだ fact17: 「御使い下さるということはない」物はある fact18: もし仮に「この仮払い金は御使い下さる」ということは成り立つとしたら「この慶賀は招致するということはなくてしかも逆浸透膜でない」ということは成り立つということはない fact19: 全てのものは怒号するが随喜しない
fact17 & fact8 -> hypothesis;
fact17 & fact8 -> hypothesis;
「この慶賀は招致しなくておまけに逆浸透膜であるということはない」ということは成り立たない
$facts$ = fact1: とある物は言論活動でないとしたら「取り去らないけれど外国貨物である」ということは事実だ fact2: この慶賀は温かいし加えて出歩く fact3: 仮にこの仮払い金が熱いならこの慶賀は年少でない fact4: もしも「この仮払い金は聖職者席だ」ということは事実であるとするとこの慶賀は年少でない fact5: もし仮に「「され兼ねる」ものはある」ということは本当だとするとこの天下人は黄色くない fact6: 「もし仮にその日本国語大辞典が取り去るということはないけれど外国貨物だとすればその金物はされ兼ねる」ということは成り立つ fact7: なにがしかのものは御使い下さる fact8: もしも何かは御使い下さらないなら「この慶賀は招致するということはないしその上悪賢くない」ということは事実と異なる fact9: この天下人が黄色くないとすればこの仮払い金は熱いかあるいはそれは聖職者席であるかまたはどちらもだ fact10: もしもこの慶賀は温かくてまた出歩くなら透過しない fact11: もしあるものは怒号する一方で随喜するということはないとすれば言論活動でない fact12: 仮に何らかのものは透過しないとしたら「支配領域だしかつそれはどくだみだということはない」ということは偽だ fact13: とあるものが年少でないとすれば痛ましいししかも御使い下さる fact14: もしも「なんらかのものは支配領域であって加えてどくだみでない」ということは成り立たないならばそれは招致するということはない fact15: 「悪賢くない」ものはある fact16: 「この慶賀は招致するけれど悪賢くない」ということは誤りだ fact17: 「御使い下さるということはない」物はある fact18: もし仮に「この仮払い金は御使い下さる」ということは成り立つとしたら「この慶賀は招致するということはなくてしかも逆浸透膜でない」ということは成り立つということはない fact19: 全てのものは怒号するが随喜しない ; $hypothesis$ = 「この慶賀は招致しないしおまけに悪賢くない」ということは事実でない ; $proof$ = 
fact17 & fact8 -> hypothesis; __PROVED__
事実1: とある物は言論活動でないとしたら「取り去らないけれど外国貨物である」ということは事実だ
事実2: この慶賀は温かいし加えて出歩く
事実3: 仮にこの仮払い金が熱いならこの慶賀は年少でない
事実4: もしも「この仮払い金は聖職者席だ」ということは事実であるとするとこの慶賀は年少でない
事実5: もし仮に「「され兼ねる」ものはある」ということは本当だとするとこの天下人は黄色くない
事実6: 「もし仮にその日本国語大辞典が取り去るということはないけれど外国貨物だとすればその金物はされ兼ねる」ということは成り立つ
事実7: なにがしかのものは御使い下さる
事実8: もしも何かは御使い下さらないなら「この慶賀は招致するということはないしその上悪賢くない」ということは事実と異なる
事実9: この天下人が黄色くないとすればこの仮払い金は熱いかあるいはそれは聖職者席であるかまたはどちらもだ
事実10: もしもこの慶賀は温かくてまた出歩くなら透過しない
事実11: もしあるものは怒号する一方で随喜するということはないとすれば言論活動でない
事実12: 仮に何らかのものは透過しないとしたら「支配領域だしかつそれはどくだみだということはない」ということは偽だ
事実13: とあるものが年少でないとすれば痛ましいししかも御使い下さる
事実14: もしも「なんらかのものは支配領域であって加えてどくだみでない」ということは成り立たないならばそれは招致するということはない
事実15: 「悪賢くない」ものはある
事実16: 「この慶賀は招致するけれど悪賢くない」ということは誤りだ
事実17: 「御使い下さるということはない」物はある
事実18: もし仮に「この仮払い金は御使い下さる」ということは成り立つとしたら「この慶賀は招致するということはなくてしかも逆浸透膜でない」ということは成り立つということはない
事実19: 全てのものは怒号するが随喜しない

仮説: 「この慶賀は招致しないしおまけに悪賢くない」ということは事実でない
1. 事実17と事実8から、仮説が導かれる

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