「「もしチャンピオンなら守護霊守護神でない」ものはある」ということは成り立たない
fact1: もし仮になにがしかの物がアイコンズ絶版アイテムであるしおまけにそれが図太いとすればそれはロンドン市内であるということはない fact2: 何らかのものは回りくどいかもしくは真跡であるか両方である fact3: もし仮に「その御饅頭はチャンピオンである」ということは本当であるとするとそれは守護霊守護神だ fact4: 「チャンピオンならば守護霊守護神な」ものはある fact5: もしもあるものは実家近くでないとしたらそれは守護霊守護神であるしおまけに回りくどい fact6: その御饅頭は狭し fact7: もし仮にとある物は愛らしいしそれにチャンピオンであるならそれは守護霊守護神でない fact8: このＨワンは回りくどいかあるいは真跡だ fact9: もしなにがしかのものは回りくどいかあるいは真跡でないとすると「その御饅頭は愛らしい」ということは成り立つ fact10: このＨワンは回りくどいかまたは真跡でないかもしくは両方ともだ fact11: 「この垂直離陸は続き易いということはないがしかし実家近くである」ということは嘘である fact12: もし約十六万人が見難いとすると慎み深くない fact13: もしもとある物が成り続けるししかもそれは達成し易いとしたら「書き込めない」ということは確かである fact14: 仮にその御饅頭が真跡であるかあるいは愛らしくないとしたらこの外国貿易は前触れである fact15: 「「真跡でない」ということは成り立つ」物があるとしたらその御饅頭は愛らしい fact16: もしもなにがしかの物がチャンピオンだということはないならば真跡であるか愛らしくない fact17: その御饅頭が真跡だとすれば処罰すらない fact18: 仮に「愛らしいかまたは回りくどくないかあるいはどちらもな物はある」ということは成り立つならこのＨワンは守護霊守護神である fact19: もし愛らしい物はチャンピオンであるならば守護霊守護神である fact20: このＨワンは守護霊守護神だ fact21: その御饅頭はメシヤで更にそれは広し fact22: もし仮に「その御饅頭は愛らしいしかつチャンピオンだ」ということは事実と異ならないとするとそれは守護霊守護神である fact23: その御饅頭は守護霊守護神だ
fact10 -> int1: 何かは回りくどいかもしくはそれは真跡だということはないかもしくは両方である; int1 & fact9 -> int2: その御饅頭は愛らしい; void -> assump1: 以下のように仮定する。その御饅頭はチャンピオンだ; int2 & assump1 -> int3: その御饅頭は愛らしくてチャンピオンだ; fact7 -> int4: 仮にその御饅頭は愛らしいしかつチャンピオンであるならば「それは守護霊守護神でない」ということは真実である; int3 & int4 -> int5: その御饅頭は守護霊守護神でない; [assump1] & int5 -> int6: その御饅頭はチャンピオンであるならそれは守護霊守護神でない; int6 -> hypothesis;
この外国貿易は前触れで守護霊守護神だ
fact27 -> int7: もしその御饅頭がチャンピオンであるということはないならば真跡であるかあるいはそれは愛らしくないか両方だ; fact25 -> int8: もし仮にこの外国貿易が実家近くでないとすればそれは守護霊守護神だし加えて回りくどい; fact24 -> int9: 「「続き易くなくてかつ実家近くだ」ということは偽な」物はある;
$facts$ = fact1: もし仮になにがしかの物がアイコンズ絶版アイテムであるしおまけにそれが図太いとすればそれはロンドン市内であるということはない fact2: 何らかのものは回りくどいかもしくは真跡であるか両方である fact3: もし仮に「その御饅頭はチャンピオンである」ということは本当であるとするとそれは守護霊守護神だ fact4: 「チャンピオンならば守護霊守護神な」ものはある fact5: もしもあるものは実家近くでないとしたらそれは守護霊守護神であるしおまけに回りくどい fact6: その御饅頭は狭し fact7: もし仮にとある物は愛らしいしそれにチャンピオンであるならそれは守護霊守護神でない fact8: このＨワンは回りくどいかあるいは真跡だ fact9: もしなにがしかのものは回りくどいかあるいは真跡でないとすると「その御饅頭は愛らしい」ということは成り立つ fact10: このＨワンは回りくどいかまたは真跡でないかもしくは両方ともだ fact11: 「この垂直離陸は続き易いということはないがしかし実家近くである」ということは嘘である fact12: もし約十六万人が見難いとすると慎み深くない fact13: もしもとある物が成り続けるししかもそれは達成し易いとしたら「書き込めない」ということは確かである fact14: 仮にその御饅頭が真跡であるかあるいは愛らしくないとしたらこの外国貿易は前触れである fact15: 「「真跡でない」ということは成り立つ」物があるとしたらその御饅頭は愛らしい fact16: もしもなにがしかの物がチャンピオンだということはないならば真跡であるか愛らしくない fact17: その御饅頭が真跡だとすれば処罰すらない fact18: 仮に「愛らしいかまたは回りくどくないかあるいはどちらもな物はある」ということは成り立つならこのＨワンは守護霊守護神である fact19: もし愛らしい物はチャンピオンであるならば守護霊守護神である fact20: このＨワンは守護霊守護神だ fact21: その御饅頭はメシヤで更にそれは広し fact22: もし仮に「その御饅頭は愛らしいしかつチャンピオンだ」ということは事実と異ならないとするとそれは守護霊守護神である fact23: その御饅頭は守護霊守護神だ ; $hypothesis$ = 「「もしチャンピオンなら守護霊守護神でない」ものはある」ということは成り立たない ; $proof$ = 
fact10 -> int1: 何かは回りくどいかもしくはそれは真跡だということはないかもしくは両方である; int1 & fact9 -> int2: その御饅頭は愛らしい; void -> assump1: 以下のように仮定する。その御饅頭はチャンピオンだ; int2 & assump1 -> int3: その御饅頭は愛らしくてチャンピオンだ; fact7 -> int4: 仮にその御饅頭は愛らしいしかつチャンピオンであるならば「それは守護霊守護神でない」ということは真実である; int3 & int4 -> int5: その御饅頭は守護霊守護神でない; [assump1] & int5 -> int6: その御饅頭はチャンピオンであるならそれは守護霊守護神でない; int6 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかの物がアイコンズ絶版アイテムであるしおまけにそれが図太いとすればそれはロンドン市内であるということはない
事実2: 何らかのものは回りくどいかもしくは真跡であるか両方である
事実3: もし仮に「その御饅頭はチャンピオンである」ということは本当であるとするとそれは守護霊守護神だ
事実4: 「チャンピオンならば守護霊守護神な」ものはある
事実5: もしもあるものは実家近くでないとしたらそれは守護霊守護神であるしおまけに回りくどい
事実6: その御饅頭は狭し
事実7: もし仮にとある物は愛らしいしそれにチャンピオンであるならそれは守護霊守護神でない
事実8: このＨワンは回りくどいかあるいは真跡だ
事実9: もしなにがしかのものは回りくどいかあるいは真跡でないとすると「その御饅頭は愛らしい」ということは成り立つ
事実10: このＨワンは回りくどいかまたは真跡でないかもしくは両方ともだ
事実11: 「この垂直離陸は続き易いということはないがしかし実家近くである」ということは嘘である
事実12: もし約十六万人が見難いとすると慎み深くない
事実13: もしもとある物が成り続けるししかもそれは達成し易いとしたら「書き込めない」ということは確かである
事実14: 仮にその御饅頭が真跡であるかあるいは愛らしくないとしたらこの外国貿易は前触れである
事実15: 「「真跡でない」ということは成り立つ」物があるとしたらその御饅頭は愛らしい
事実16: もしもなにがしかの物がチャンピオンだということはないならば真跡であるか愛らしくない
事実17: その御饅頭が真跡だとすれば処罰すらない
事実18: 仮に「愛らしいかまたは回りくどくないかあるいはどちらもな物はある」ということは成り立つならこのＨワンは守護霊守護神である
事実19: もし愛らしい物はチャンピオンであるならば守護霊守護神である
事実20: このＨワンは守護霊守護神だ
事実21: その御饅頭はメシヤで更にそれは広し
事実22: もし仮に「その御饅頭は愛らしいしかつチャンピオンだ」ということは事実と異ならないとするとそれは守護霊守護神である
事実23: その御饅頭は守護霊守護神だ

仮説: 「「もしチャンピオンなら守護霊守護神でない」ものはある」ということは成り立たない
1. 事実10から、推論1: "何かは回りくどいかもしくはそれは真跡だということはないかもしくは両方である"が導かれる
2. 推論1と事実9から、推論2: "その御饅頭は愛らしい"が導かれる
3. 仮定1: 以下のように仮定する。その御饅頭はチャンピオンだ
4. 推論2と仮定1から、推論3: "その御饅頭は愛らしくてチャンピオンだ"が導かれる
5. 事実7から、推論4: "仮にその御饅頭は愛らしいしかつチャンピオンであるならば「それは守護霊守護神でない」ということは真実である"が導かれる
6. 推論3と推論4から、推論5: "その御饅頭は守護霊守護神でない"が導かれる
7. [仮定1]と推論5から、推論6: "その御饅頭はチャンピオンであるならそれは守護霊守護神でない"が導かれる
8. 推論6から、仮説が否定される

よって、仮説が否定されました。