そのみわみちゅLv.20は峻別する
fact1: そのみわみちゅLv.20は程遠い fact2: 「「遅しかあるいは仕事らしいかあるいは両方だ」ということは成り立たない」モンスターがいればこのもよものLv.99は吹っ切れる fact3: もしも「このもよものLv.99は吹っ切れるししかも華々しい」ということは確かであるならそのみわみちゅLv.20は決まらない fact4: 遅しということはないか仕事らしいモンスターはいる fact5: 「「遅し」ということは事実である」モンスターはいる fact6: もしもこのもよものLv.99が峻別するししかも程遠いとするとそのみわみちゅLv.20は吹っ切れるということはない fact7: もしも「「遅しないか仕事らしいかどちらもである」ということは成り立たない」モンスターがいるとすればこのもよものLv.99は吹っ切れる fact8: このもよものLv.99は華々しい fact9: 「「遅しないかあるいは仕事らしい」ということは間違っている」モンスターはいる fact10: もしも「そのみわみちゅLv.20は程遠いが決まらない」ということは成り立つならそのみわみちゅLv.20は峻別する fact11: そのもねもにゃLv.96は仕事らしいけどそれは起訴出来ない
fact9 & fact7 -> int1: このもよものLv.99は吹っ切れる; int1 & fact8 -> int2: このもよものLv.99は吹っ切れるし華々しい; int2 & fact3 -> int3: そのみわみちゅLv.20は決まらない; int3 & fact1 -> int4: そのみわみちゅLv.20は程遠いが決まるということはない; int4 & fact10 -> hypothesis;
fact9 & fact7 -> int1: {A}{a}; int1 & fact8 -> int2: ({A}{a} & {B}{a}); int2 & fact3 -> int3: ¬{C}{b}; int3 & fact1 -> int4: ({D}{b} & ¬{C}{b}); int4 & fact10 -> hypothesis;
$facts$ = fact1: そのみわみちゅLv.20は程遠い fact2: 「「遅しかあるいは仕事らしいかあるいは両方だ」ということは成り立たない」モンスターがいればこのもよものLv.99は吹っ切れる fact3: もしも「このもよものLv.99は吹っ切れるししかも華々しい」ということは確かであるならそのみわみちゅLv.20は決まらない fact4: 遅しということはないか仕事らしいモンスターはいる fact5: 「「遅し」ということは事実である」モンスターはいる fact6: もしもこのもよものLv.99が峻別するししかも程遠いとするとそのみわみちゅLv.20は吹っ切れるということはない fact7: もしも「「遅しないか仕事らしいかどちらもである」ということは成り立たない」モンスターがいるとすればこのもよものLv.99は吹っ切れる fact8: このもよものLv.99は華々しい fact9: 「「遅しないかあるいは仕事らしい」ということは間違っている」モンスターはいる fact10: もしも「そのみわみちゅLv.20は程遠いが決まらない」ということは成り立つならそのみわみちゅLv.20は峻別する fact11: そのもねもにゃLv.96は仕事らしいけどそれは起訴出来ない ; $hypothesis$ = そのみわみちゅLv.20は峻別する ; $proof$ = 
fact9 & fact7 -> int1: このもよものLv.99は吹っ切れる; int1 & fact8 -> int2: このもよものLv.99は吹っ切れるし華々しい; int2 & fact3 -> int3: そのみわみちゅLv.20は決まらない; int3 & fact1 -> int4: そのみわみちゅLv.20は程遠いが決まるということはない; int4 & fact10 -> hypothesis; __PROVED__
fact9 & fact7 -> int1: {A}{a}; int1 & fact8 -> int2: ({A}{a} & {B}{a}); int2 & fact3 -> int3: ¬{C}{b}; int3 & fact1 -> int4: ({D}{b} & ¬{C}{b}); int4 & fact10 -> hypothesis; __PROVED__