この高等課程は民力だ
fact1: もし仮にこの高等課程が喧しくないならば追い付くしさらに民力だ fact2: もしもこのエレクトロンは検出出来なくて喧しくないとするとそれは追い付く fact3: もしこの高等課程が民力であるけど追い付かないならそれは検出出来る fact4: このエレクトロンは折れ易くないしかつそれは検出出来ない fact5: 仮に「なにがしかのものは喧しいけれどそれは追い付かない」ということは偽であるならば「それは民力でない」ということは真実である fact6: 仮にこのエレクトロンが折れ易くないしそれは検出出来ないとすると「追い付く」ということは真実である fact7: 仮に何かは奔走するとしたらそれは懐っこいということはない fact8: もし「なにがしかのものは喧しい一方で追い付かない」ということは誤っているとしたらそれは折れ易くない fact9: もしも「このエレクトロンは民力であるが検出出来ない」ということは誤りだとすると「喧しいということはない」ということは正しい fact10: このエレクトロンは追い付けば「この高等課程は喧しいが追い付かない」ということは事実でない
fact6 & fact4 -> int1: このエレクトロンは追い付く; int1 & fact10 -> int2: 「この高等課程は喧しいけれど追い付かない」ということは誤りだ; fact5 -> int3: 「この高等課程は喧しいけれど追い付かない」ということは成り立たないなら民力だということはない; int2 & int3 -> hypothesis;
fact6 & fact4 -> int1: {B}{a}; int1 & fact10 -> int2: ¬({C}{b} & ¬{B}{b}); fact5 -> int3: ¬({C}{b} & ¬{B}{b}) -> ¬{A}{b}; int2 & int3 -> hypothesis;
この高等課程は民力だ
$facts$ = fact1: もし仮にこの高等課程が喧しくないならば追い付くしさらに民力だ fact2: もしもこのエレクトロンは検出出来なくて喧しくないとするとそれは追い付く fact3: もしこの高等課程が民力であるけど追い付かないならそれは検出出来る fact4: このエレクトロンは折れ易くないしかつそれは検出出来ない fact5: 仮に「なにがしかのものは喧しいけれどそれは追い付かない」ということは偽であるならば「それは民力でない」ということは真実である fact6: 仮にこのエレクトロンが折れ易くないしそれは検出出来ないとすると「追い付く」ということは真実である fact7: 仮に何かは奔走するとしたらそれは懐っこいということはない fact8: もし「なにがしかのものは喧しい一方で追い付かない」ということは誤っているとしたらそれは折れ易くない fact9: もしも「このエレクトロンは民力であるが検出出来ない」ということは誤りだとすると「喧しいということはない」ということは正しい fact10: このエレクトロンは追い付けば「この高等課程は喧しいが追い付かない」ということは事実でない ; $hypothesis$ = この高等課程は民力だ ; $proof$ = 
fact6 & fact4 -> int1: このエレクトロンは追い付く; int1 & fact10 -> int2: 「この高等課程は喧しいけれど追い付かない」ということは誤りだ; fact5 -> int3: 「この高等課程は喧しいけれど追い付かない」ということは成り立たないなら民力だということはない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの高等課程が喧しくないならば追い付くしさらに民力だ
事実2: もしもこのエレクトロンは検出出来なくて喧しくないとするとそれは追い付く
事実3: もしこの高等課程が民力であるけど追い付かないならそれは検出出来る
事実4: このエレクトロンは折れ易くないしかつそれは検出出来ない
事実5: 仮に「なにがしかのものは喧しいけれどそれは追い付かない」ということは偽であるならば「それは民力でない」ということは真実である
事実6: 仮にこのエレクトロンが折れ易くないしそれは検出出来ないとすると「追い付く」ということは真実である
事実7: 仮に何かは奔走するとしたらそれは懐っこいということはない
事実8: もし「なにがしかのものは喧しい一方で追い付かない」ということは誤っているとしたらそれは折れ易くない
事実9: もしも「このエレクトロンは民力であるが検出出来ない」ということは誤りだとすると「喧しいということはない」ということは正しい
事実10: このエレクトロンは追い付けば「この高等課程は喧しいが追い付かない」ということは事実でない

仮説: この高等課程は民力だ
1. 事実6と事実4から、推論1: "このエレクトロンは追い付く"が導かれる
2. 推論1と事実10から、推論2: "「この高等課程は喧しいけれど追い付かない」ということは誤りだ"が導かれる
3. 事実5から、推論3: "「この高等課程は喧しいけれど追い付かない」ということは成り立たないなら民力だということはない"が導かれる
4. 推論2と推論3から、仮説が否定される

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