「その適用期間は着易い」ということは正しい
fact1: もし仮にこの質量が着易いとしたらそれは否定し難い fact2: 仮に何らかの物が再燃するとすればか細い fact3: 「その適用期間は通し始める」ということは成り立つ fact4: 「この質量は詳しいしそれは通し始める」ということは間違いである fact5: もしこの三次元オブジェクトが第二次松方内閣でまた詳しいならばあの質量は詳しくない fact6: 「この質量は否定し難いけれど通し始めない」ということは事実でない fact7: もし何らかのものが詳しいならばそれは着易い fact8: もし「この質量は否定し難いけど通し始めるということはない」ということは偽であるとするとその適用期間は行使出来る fact9: なんらかの物が行使出来ればそれは詳しい fact10: もし「あるものが詳しいしその上それは着易い」ということは嘘であるとしたらそれは着易くない
fact8 & fact6 -> int1: その適用期間は行使出来る; fact9 -> int2: 「その適用期間は行使出来る」ということは嘘でないとしたら詳しい; int1 & int2 -> int3: その適用期間は詳しい; fact7 -> int4: もしもその適用期間が詳しいとしたらそれは着易い; int3 & int4 -> hypothesis;
fact8 & fact6 -> int1: {B}{b}; fact9 -> int2: {B}{b} -> {A}{b}; int1 & int2 -> int3: {A}{b}; fact7 -> int4: {A}{b} -> {C}{b}; int3 & int4 -> hypothesis;
その適用期間は着易くない
fact12 -> int5: 「もしも「その適用期間は詳しくて着易い」ということは真実であるということはないとしたら「その適用期間は着易くない」ということは本当である」ということは確かである;
$facts$ = fact1: もし仮にこの質量が着易いとしたらそれは否定し難い fact2: 仮に何らかの物が再燃するとすればか細い fact3: 「その適用期間は通し始める」ということは成り立つ fact4: 「この質量は詳しいしそれは通し始める」ということは間違いである fact5: もしこの三次元オブジェクトが第二次松方内閣でまた詳しいならばあの質量は詳しくない fact6: 「この質量は否定し難いけれど通し始めない」ということは事実でない fact7: もし何らかのものが詳しいならばそれは着易い fact8: もし「この質量は否定し難いけど通し始めるということはない」ということは偽であるとするとその適用期間は行使出来る fact9: なんらかの物が行使出来ればそれは詳しい fact10: もし「あるものが詳しいしその上それは着易い」ということは嘘であるとしたらそれは着易くない ; $hypothesis$ = 「その適用期間は着易い」ということは正しい ; $proof$ = 
fact8 & fact6 -> int1: その適用期間は行使出来る; fact9 -> int2: 「その適用期間は行使出来る」ということは嘘でないとしたら詳しい; int1 & int2 -> int3: その適用期間は詳しい; fact7 -> int4: もしもその適用期間が詳しいとしたらそれは着易い; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮にこの質量が着易いとしたらそれは否定し難い
事実2: 仮に何らかの物が再燃するとすればか細い
事実3: 「その適用期間は通し始める」ということは成り立つ
事実4: 「この質量は詳しいしそれは通し始める」ということは間違いである
事実5: もしこの三次元オブジェクトが第二次松方内閣でまた詳しいならばあの質量は詳しくない
事実6: 「この質量は否定し難いけれど通し始めない」ということは事実でない
事実7: もし何らかのものが詳しいならばそれは着易い
事実8: もし「この質量は否定し難いけど通し始めるということはない」ということは偽であるとするとその適用期間は行使出来る
事実9: なんらかの物が行使出来ればそれは詳しい
事実10: もし「あるものが詳しいしその上それは着易い」ということは嘘であるとしたらそれは着易くない

仮説: 「その適用期間は着易い」ということは正しい
1. 事実8と事実6から、推論1: "その適用期間は行使出来る"が導かれる
2. 事実9から、推論2: "「その適用期間は行使出来る」ということは嘘でないとしたら詳しい"が導かれる
3. 推論1と推論2から、推論3: "その適用期間は詳しい"が導かれる
4. 事実7から、推論4: "もしもその適用期間が詳しいとしたらそれは着易い"が導かれる
5. 推論3と推論4から、仮説が導かれる

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