「このまやまちょLv.63は出撃するしかつそれは左右され易い」ということは成り立たない
fact1: あらゆるモンスターは引見しない fact2: 「このまやまちょLv.63は真っ暗くないがしかし忍び難い」ということは本当だ fact3: もしこのまやまちょLv.63が真っ暗くない一方で忍び難いとすればこのまやまちょLv.63は面取りする fact4: もしも何らかのモンスターは引見しないなら「乱すしそれに面取りする」ということは誤りだ fact5: 「もしもこのまやまちょLv.63が面取りすればこのまやまちょLv.63は出撃する」ということは正しい fact6: このまやまちょLv.63は左右され易い
fact3 & fact2 -> int1: このまやまちょLv.63は面取りする; int1 & fact5 -> int2: このまやまちょLv.63は出撃する; int2 & fact6 -> hypothesis;
fact3 & fact2 -> int1: {B}{a}; int1 & fact5 -> int2: {A}{a}; int2 & fact6 -> hypothesis;
「このまやまちょLv.63は出撃するしかつそれは左右され易い」ということは成り立たない
fact7 -> int3: そのぽのぽやLv.58は引見するということはない; fact8 -> int4: もしもそのぽのぽやLv.58は引見しないとすれば「それは乱すしまたそれは面取りする」ということは偽だ; int3 & int4 -> int5: 「そのぽのぽやLv.58は乱すし面取りする」ということは嘘である;
$facts$ = fact1: あらゆるモンスターは引見しない fact2: 「このまやまちょLv.63は真っ暗くないがしかし忍び難い」ということは本当だ fact3: もしこのまやまちょLv.63が真っ暗くない一方で忍び難いとすればこのまやまちょLv.63は面取りする fact4: もしも何らかのモンスターは引見しないなら「乱すしそれに面取りする」ということは誤りだ fact5: 「もしもこのまやまちょLv.63が面取りすればこのまやまちょLv.63は出撃する」ということは正しい fact6: このまやまちょLv.63は左右され易い ; $hypothesis$ = 「このまやまちょLv.63は出撃するしかつそれは左右され易い」ということは成り立たない ; $proof$ = 
fact3 & fact2 -> int1: このまやまちょLv.63は面取りする; int1 & fact5 -> int2: このまやまちょLv.63は出撃する; int2 & fact6 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: {B}{a}; int1 & fact5 -> int2: {A}{a}; int2 & fact6 -> hypothesis; __DISPROVED__