「そのぷえぷにLv.68は心無いししかもせせこましい」ということは成り立たない
fact1: 仮にこのぴちゃぴいLv.47が痛むとすればそのぷえぷにLv.68は所らしいということはない fact2: 仮に「そのぷえぷにLv.68は所らしくない」ということは確かだとすると心無くてさらにせせこましい fact3: もしなにがしかのモンスターは恥ずかしないとすると「心無いしせせこましい」ということは偽である fact4: 仮になにがしかのモンスターが痛まないとすればそれは恥ずかしし所らしくない fact5: 仮にこのぴちゃぴいLv.47は管理し易いなら「それが痛むしその上加味しない」ということは成り立たない fact6: もし仮に「何らかのモンスターは痛むがしかし加味しない」ということは事実と異なるとすると痛まない fact7: このぴちゃぴいLv.47は恥ずかししそれにそれは痛む
fact7 -> int1: 「このぴちゃぴいLv.47は痛む」ということは成り立つ; int1 & fact1 -> int2: 「そのぷえぷにLv.68は所らしくない」ということは成り立つ; int2 & fact2 -> hypothesis;
fact7 -> int1: {B}{a}; int1 & fact1 -> int2: ¬{C}{b}; int2 & fact2 -> hypothesis;
「そのぷえぷにLv.68は心無いししかもせせこましい」ということは成り立たない
fact8 -> int3: 「もしそのぷえぷにLv.68は恥ずかしないなら「そのぷえぷにLv.68は心無いしせせこましい」ということは誤りである」ということは本当である; fact9 -> int4: もしこのぴちゃぴいLv.47が痛むということはないならこのぴちゃぴいLv.47は恥ずかしがしかし所らしくない; fact10 -> int5: 「このぴちゃぴいLv.47は痛むが加味しない」ということは成り立たないとすればこのぴちゃぴいLv.47は痛まない;
$facts$ = fact1: 仮にこのぴちゃぴいLv.47が痛むとすればそのぷえぷにLv.68は所らしいということはない fact2: 仮に「そのぷえぷにLv.68は所らしくない」ということは確かだとすると心無くてさらにせせこましい fact3: もしなにがしかのモンスターは恥ずかしないとすると「心無いしせせこましい」ということは偽である fact4: 仮になにがしかのモンスターが痛まないとすればそれは恥ずかしし所らしくない fact5: 仮にこのぴちゃぴいLv.47は管理し易いなら「それが痛むしその上加味しない」ということは成り立たない fact6: もし仮に「何らかのモンスターは痛むがしかし加味しない」ということは事実と異なるとすると痛まない fact7: このぴちゃぴいLv.47は恥ずかししそれにそれは痛む ; $hypothesis$ = 「そのぷえぷにLv.68は心無いししかもせせこましい」ということは成り立たない ; $proof$ = 
fact7 -> int1: 「このぴちゃぴいLv.47は痛む」ということは成り立つ; int1 & fact1 -> int2: 「そのぷえぷにLv.68は所らしくない」ということは成り立つ; int2 & fact2 -> hypothesis; __DISPROVED__
fact7 -> int1: {B}{a}; int1 & fact1 -> int2: ¬{C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__