あの猫単は微粒子でないか腐り易いかあるいは両方である
fact1: その児童虐待防止法は成り易くない fact2: 仮にその児童虐待防止法が収録するし成り易いならば冷め易いということはない fact3: もし仮に「なにかは冷め易くないかまたはそれは張らないかあるいは両方ともだ」ということは間違いならば当該原本でない fact4: あの猫単は微粒子であるかまたは腐り易いかもしくは両方だ fact5: あの第六感は面倒臭い fact6: なにかは収録するならそれは成り易いかもしくは面倒臭くない fact7: もし仮に「「「面倒臭い」ということは真実である」ものはある」ということは事実ならばその児童虐待防止法は収録する一方で成り易くない fact8: もし仮に「面倒臭い」ものがあればその児童虐待防止法は成り易くない fact9: その児童虐待防止法は腐り易い fact10: もしその児童虐待防止法が収録する一方でそれが成り易くないとするとそれは冷め易くない fact11: 「この家政機関が人懐こくないならこの家政機関は移ろい易いということはない」ということは偽でない fact12: 仮にあの猫単が微粒子だとしたらそれは当該原本だ fact13: あの猫単は腐り易いなら「その児童虐待防止法は張らない」ということは真実だ fact14: 「とある物は面倒臭いということはないししかも用いるということはない」ということは成り立つということはないとしたらそれは収録しない fact15: その児童虐待防止法が張れば冷め易い fact16: この家政機関は掃除し易くないなら「あの民保規は面倒臭くなくて用いない」ということは成り立たない fact17: この家政機関は人懐こくない fact18: もし仮になんらかの物は成り易いとすれば「それは冷め易いということはないか張らないか両方だ」ということは偽である fact19: もしあの猫単は用いるけれど掃除し易くないとすると収録する fact20: もし「冷め易い」ものがあるとしたらあの猫単は腐り易いかまたは張るかまたはどちらもだ fact21: 仮に「この家政機関は移ろい易くない」ということは真実であるとしたらそれは掃除し易くないし教務課でない fact22: もしもあの猫単が当該原本であるならばあの児童虐待防止法は張る fact23: もしとある物が微粒子ならそれはＳＹＮセグメントである fact24: もしもなにかは張るということはないならばそれは微粒子であるし加えて当該原本である fact25: もし仮に「収録しない」ものがあるとするとあの第六感は成り易いし冷め易い
void -> assump1: 以下のように仮定する。あの猫単は微粒子だ; fact12 & assump1 -> int1: あの猫単は当該原本である; int1 & fact22 -> int2: 「その児童虐待防止法は張る」ということは真実である; int2 & fact15 -> int3: その児童虐待防止法は冷め易い; fact5 -> int4: 「面倒臭い」ものはある; fact7 & int4 -> int5: その児童虐待防止法は収録するけれど成り易くない; int5 & fact10 -> int6: その児童虐待防止法は冷め易くない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの猫単は微粒子でない; int8 -> hypothesis;
「「あの猫単は微粒子でないかあるいは腐り易いかまたは両方である」ということは間違っている」ということは確かだ
fact29 -> int9: もしも「あの猫単は冷め易くないかあるいは張らないかまたは両方である」ということは偽だとすると当該原本でない; fact27 -> int10: あの猫単は成り易いとすれば「冷め易くないかそれは張らないかもしくはどちらもである」ということは間違っている; fact26 -> int11: あの猫単が収録するなら成り易いかもしくは面倒臭くないかもしくは両方だ;
$facts$ = fact1: その児童虐待防止法は成り易くない fact2: 仮にその児童虐待防止法が収録するし成り易いならば冷め易いということはない fact3: もし仮に「なにかは冷め易くないかまたはそれは張らないかあるいは両方ともだ」ということは間違いならば当該原本でない fact4: あの猫単は微粒子であるかまたは腐り易いかもしくは両方だ fact5: あの第六感は面倒臭い fact6: なにかは収録するならそれは成り易いかもしくは面倒臭くない fact7: もし仮に「「「面倒臭い」ということは真実である」ものはある」ということは事実ならばその児童虐待防止法は収録する一方で成り易くない fact8: もし仮に「面倒臭い」ものがあればその児童虐待防止法は成り易くない fact9: その児童虐待防止法は腐り易い fact10: もしその児童虐待防止法が収録する一方でそれが成り易くないとするとそれは冷め易くない fact11: 「この家政機関が人懐こくないならこの家政機関は移ろい易いということはない」ということは偽でない fact12: 仮にあの猫単が微粒子だとしたらそれは当該原本だ fact13: あの猫単は腐り易いなら「その児童虐待防止法は張らない」ということは真実だ fact14: 「とある物は面倒臭いということはないししかも用いるということはない」ということは成り立つということはないとしたらそれは収録しない fact15: その児童虐待防止法が張れば冷め易い fact16: この家政機関は掃除し易くないなら「あの民保規は面倒臭くなくて用いない」ということは成り立たない fact17: この家政機関は人懐こくない fact18: もし仮になんらかの物は成り易いとすれば「それは冷め易いということはないか張らないか両方だ」ということは偽である fact19: もしあの猫単は用いるけれど掃除し易くないとすると収録する fact20: もし「冷め易い」ものがあるとしたらあの猫単は腐り易いかまたは張るかまたはどちらもだ fact21: 仮に「この家政機関は移ろい易くない」ということは真実であるとしたらそれは掃除し易くないし教務課でない fact22: もしもあの猫単が当該原本であるならばあの児童虐待防止法は張る fact23: もしとある物が微粒子ならそれはＳＹＮセグメントである fact24: もしもなにかは張るということはないならばそれは微粒子であるし加えて当該原本である fact25: もし仮に「収録しない」ものがあるとするとあの第六感は成り易いし冷め易い ; $hypothesis$ = あの猫単は微粒子でないか腐り易いかあるいは両方である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの猫単は微粒子だ; fact12 & assump1 -> int1: あの猫単は当該原本である; int1 & fact22 -> int2: 「その児童虐待防止法は張る」ということは真実である; int2 & fact15 -> int3: その児童虐待防止法は冷め易い; fact5 -> int4: 「面倒臭い」ものはある; fact7 & int4 -> int5: その児童虐待防止法は収録するけれど成り易くない; int5 & fact10 -> int6: その児童虐待防止法は冷め易くない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの猫単は微粒子でない; int8 -> hypothesis; __PROVED__
事実1: その児童虐待防止法は成り易くない
事実2: 仮にその児童虐待防止法が収録するし成り易いならば冷め易いということはない
事実3: もし仮に「なにかは冷め易くないかまたはそれは張らないかあるいは両方ともだ」ということは間違いならば当該原本でない
事実4: あの猫単は微粒子であるかまたは腐り易いかもしくは両方だ
事実5: あの第六感は面倒臭い
事実6: なにかは収録するならそれは成り易いかもしくは面倒臭くない
事実7: もし仮に「「「面倒臭い」ということは真実である」ものはある」ということは事実ならばその児童虐待防止法は収録する一方で成り易くない
事実8: もし仮に「面倒臭い」ものがあればその児童虐待防止法は成り易くない
事実9: その児童虐待防止法は腐り易い
事実10: もしその児童虐待防止法が収録する一方でそれが成り易くないとするとそれは冷め易くない
事実11: 「この家政機関が人懐こくないならこの家政機関は移ろい易いということはない」ということは偽でない
事実12: 仮にあの猫単が微粒子だとしたらそれは当該原本だ
事実13: あの猫単は腐り易いなら「その児童虐待防止法は張らない」ということは真実だ
事実14: 「とある物は面倒臭いということはないししかも用いるということはない」ということは成り立つということはないとしたらそれは収録しない
事実15: その児童虐待防止法が張れば冷め易い
事実16: この家政機関は掃除し易くないなら「あの民保規は面倒臭くなくて用いない」ということは成り立たない
事実17: この家政機関は人懐こくない
事実18: もし仮になんらかの物は成り易いとすれば「それは冷め易いということはないか張らないか両方だ」ということは偽である
事実19: もしあの猫単は用いるけれど掃除し易くないとすると収録する
事実20: もし「冷め易い」ものがあるとしたらあの猫単は腐り易いかまたは張るかまたはどちらもだ
事実21: 仮に「この家政機関は移ろい易くない」ということは真実であるとしたらそれは掃除し易くないし教務課でない
事実22: もしもあの猫単が当該原本であるならばあの児童虐待防止法は張る
事実23: もしとある物が微粒子ならそれはＳＹＮセグメントである
事実24: もしもなにかは張るということはないならばそれは微粒子であるし加えて当該原本である
事実25: もし仮に「収録しない」ものがあるとするとあの第六感は成り易いし冷め易い

仮説: あの猫単は微粒子でないか腐り易いかあるいは両方である
1. 仮定1: 以下のように仮定する。あの猫単は微粒子だ
2. 事実12と仮定1から、推論1: "あの猫単は当該原本である"が導かれる
3. 推論1と事実22から、推論2: "「その児童虐待防止法は張る」ということは真実である"が導かれる
4. 推論2と事実15から、推論3: "その児童虐待防止法は冷め易い"が導かれる
5. 事実5から、推論4: "「面倒臭い」ものはある"が導かれる
6. 事実7と推論4から、推論5: "その児童虐待防止法は収録するけれど成り易くない"が導かれる
7. 推論5と事実10から、推論6: "その児童虐待防止法は冷め易くない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの猫単は微粒子でない"が導かれる
10. 推論8から、仮説が導かれる

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