その全国ネットはやばい
fact1: その反天皇制はやばい fact2: 仮に「その反天皇制は節制であるということはないかそれはくっ付かないかまたはどちらもである」ということは事実であるならばその全国ネットは人口削減でない fact3: もしも「なにがしかのものは誇張でないかもしくは人口削減でない」ということは成り立たないならそれはやばいということはない fact4: もしも何かは人口削減でないとすればそれは誇張である fact5: その反天皇制は節制でないかあるいはくっ付くということはないか両方ともである fact6: 仮にとある物が誇張だとすればそれはやばい fact7: もしもその反天皇制が節制であるということはないならその全国ネットは人口削減でない
fact2 & fact5 -> int1: その全国ネットは人口削減でない; fact4 -> int2: もしその全国ネットが人口削減でないとすればそれは誇張である; int1 & int2 -> int3: 「その全国ネットは誇張である」ということは間違いでない; fact6 -> int4: もしもその全国ネットが誇張だとしたらそれはやばい; int3 & int4 -> hypothesis;
fact2 & fact5 -> int1: ¬{B}{b}; fact4 -> int2: ¬{B}{b} -> {A}{b}; int1 & int2 -> int3: {A}{b}; fact6 -> int4: {A}{b} -> {C}{b}; int3 & int4 -> hypothesis;
その全国ネットはやばいということはない
fact8 -> int5: 仮に「その全国ネットは誇張でないかあるいは人口削減でないかまたはどちらもである」ということは誤りならやばくない;
$facts$ = fact1: その反天皇制はやばい fact2: 仮に「その反天皇制は節制であるということはないかそれはくっ付かないかまたはどちらもである」ということは事実であるならばその全国ネットは人口削減でない fact3: もしも「なにがしかのものは誇張でないかもしくは人口削減でない」ということは成り立たないならそれはやばいということはない fact4: もしも何かは人口削減でないとすればそれは誇張である fact5: その反天皇制は節制でないかあるいはくっ付くということはないか両方ともである fact6: 仮にとある物が誇張だとすればそれはやばい fact7: もしもその反天皇制が節制であるということはないならその全国ネットは人口削減でない ; $hypothesis$ = その全国ネットはやばい ; $proof$ = 
fact2 & fact5 -> int1: その全国ネットは人口削減でない; fact4 -> int2: もしその全国ネットが人口削減でないとすればそれは誇張である; int1 & int2 -> int3: 「その全国ネットは誇張である」ということは間違いでない; fact6 -> int4: もしもその全国ネットが誇張だとしたらそれはやばい; int3 & int4 -> hypothesis; __PROVED__
事実1: その反天皇制はやばい
事実2: 仮に「その反天皇制は節制であるということはないかそれはくっ付かないかまたはどちらもである」ということは事実であるならばその全国ネットは人口削減でない
事実3: もしも「なにがしかのものは誇張でないかもしくは人口削減でない」ということは成り立たないならそれはやばいということはない
事実4: もしも何かは人口削減でないとすればそれは誇張である
事実5: その反天皇制は節制でないかあるいはくっ付くということはないか両方ともである
事実6: 仮にとある物が誇張だとすればそれはやばい
事実7: もしもその反天皇制が節制であるということはないならその全国ネットは人口削減でない

仮説: その全国ネットはやばい
1. 事実2と事実5から、推論1: "その全国ネットは人口削減でない"が導かれる
2. 事実4から、推論2: "もしその全国ネットが人口削減でないとすればそれは誇張である"が導かれる
3. 推論1と推論2から、推論3: "「その全国ネットは誇張である」ということは間違いでない"が導かれる
4. 事実6から、推論4: "もしもその全国ネットが誇張だとしたらそれはやばい"が導かれる
5. 推論3と推論4から、仮説が導かれる

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