このまちゃまやLv.51は荒っぽいがしかし騒々しくない
fact1: もし「なにがしかのモンスターは感じ易い一方でそれは早しない」ということは成り立たないならばそれは心置き無くない fact2: 仮にそのまちょまくLv.81が騒々しくないとすればこのまちゃまやLv.51は荒っぽい一方で騒々しくない fact3: もしなんらかのモンスターは心置き無くないとすれば「それは荒っぽいしさらに騒々しくない」ということは間違いだ fact4: あのぷちゅぷくLv.96は心置き無いということはない fact5: 仮に「そのまちょまくLv.81は騒々しい」ということは正しいとしたらあのぷちゅぷくLv.96は心置き無い
void -> assump1: 以下のように仮定する。そのまちょまくLv.81は騒々しい; fact5 & assump1 -> int1: あのぷちゅぷくLv.96は心置き無い; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのまちょまくLv.81は騒々しいということはない; int3 & fact2 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis;
「「このまちゃまやLv.51は荒っぽいが騒々しくない」ということは間違いである」ということは成り立つ
fact7 -> int4: もしこのまちゃまやLv.51は心置き無いということはないとしたら「荒っぽくてそれに騒々しくない」ということは偽だ; fact6 -> int5: 仮に「このまちゃまやLv.51は感じ易い一方で早しない」ということは成り立たないとするとこのまちゃまやLv.51は心置き無くない;
$facts$ = fact1: もし「なにがしかのモンスターは感じ易い一方でそれは早しない」ということは成り立たないならばそれは心置き無くない fact2: 仮にそのまちょまくLv.81が騒々しくないとすればこのまちゃまやLv.51は荒っぽい一方で騒々しくない fact3: もしなんらかのモンスターは心置き無くないとすれば「それは荒っぽいしさらに騒々しくない」ということは間違いだ fact4: あのぷちゅぷくLv.96は心置き無いということはない fact5: 仮に「そのまちょまくLv.81は騒々しい」ということは正しいとしたらあのぷちゅぷくLv.96は心置き無い ; $hypothesis$ = このまちゃまやLv.51は荒っぽいがしかし騒々しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのまちょまくLv.81は騒々しい; fact5 & assump1 -> int1: あのぷちゅぷくLv.96は心置き無い; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのまちょまくLv.81は騒々しいということはない; int3 & fact2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis; __PROVED__