「そのぴわぴにょLv.26は信託するかまたはめぼしいかもしくはどちらもだ」ということは嘘だ
fact1: 仮に「そのぴわぴにょLv.26は倹しい」ということは本当であるならばそのみやみにLv.86は信託する fact2: このもやもよLv.32は倹しい fact3: 「もし仮に「とあるモンスターは突き落とす」ということは確かであるとすればそれはめぼしくなくて更にそれは無しということはない」ということは真実である fact4: そのみやみにLv.86は倹しい fact5: 仮にそのみやみにLv.86が倹しいならばそのぴわぴにょLv.26は参加し易い fact6: 「仮になにがしかのモンスターは倹しかないとすると「信託するかあるいはそれはめぼしい」ということは事実でない」ということは事実である fact7: もし仮にそのぴわぴにょLv.26が参加し易いとするとそのぴわぴにょLv.26はめぼしい
fact5 & fact4 -> int1: そのぴわぴにょLv.26は参加し易い; int1 & fact7 -> int2: 「そのぴわぴにょLv.26はめぼしい」ということは誤っているということはない; int2 -> hypothesis;
fact5 & fact4 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{b}; int2 -> hypothesis;
「そのぴわぴにょLv.26は信託するかまたはめぼしいかもしくはどちらもだ」ということは嘘だ
fact8 -> int3: もし仮にそのぴわぴにょLv.26は倹しいということはないならば「信託するかもしくはめぼしい」ということは事実と異なる;
$facts$ = fact1: 仮に「そのぴわぴにょLv.26は倹しい」ということは本当であるならばそのみやみにLv.86は信託する fact2: このもやもよLv.32は倹しい fact3: 「もし仮に「とあるモンスターは突き落とす」ということは確かであるとすればそれはめぼしくなくて更にそれは無しということはない」ということは真実である fact4: そのみやみにLv.86は倹しい fact5: 仮にそのみやみにLv.86が倹しいならばそのぴわぴにょLv.26は参加し易い fact6: 「仮になにがしかのモンスターは倹しかないとすると「信託するかあるいはそれはめぼしい」ということは事実でない」ということは事実である fact7: もし仮にそのぴわぴにょLv.26が参加し易いとするとそのぴわぴにょLv.26はめぼしい ; $hypothesis$ = 「そのぴわぴにょLv.26は信託するかまたはめぼしいかもしくはどちらもだ」ということは嘘だ ; $proof$ = 
fact5 & fact4 -> int1: そのぴわぴにょLv.26は参加し易い; int1 & fact7 -> int2: 「そのぴわぴにょLv.26はめぼしい」ということは誤っているということはない; int2 -> hypothesis; __DISPROVED__
fact5 & fact4 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{b}; int2 -> hypothesis; __DISPROVED__