「あのみゆみわLv.3は同船するしかつ削り直す」ということは成り立たない
fact1: もし仮に「このもねもにゅLv.10はいがらっぽい」ということは真実なら入り辛い fact2: 「このもねもにゅLv.10は甚振り続ける」ということは事実だ fact3: あのみゆみわLv.3は同船する fact4: もしもこのもねもにゅLv.10が甚振り続けないならそれは同船するし更にそれは入り辛い fact5: このもねもにゅLv.10はいがらっぽい fact6: 「甚振り続ける」モンスターはいる fact7: もし仮に「甚振り続けるしおまけに入り辛い」モンスターがいるとしたらあのみゆみわLv.3は削り直す fact8: 仮にこのもねもにゅLv.10はいがらっぽくないとすると「あのみゆみわLv.3は同船するし削り直す」ということは成り立たない fact9: もしも「なんらかのモンスターは削り直すということはないけれどそれは甚振り続ける」ということは偽なら甚振り続けない
fact1 & fact5 -> int1: このもねもにゅLv.10は入り辛い; int1 & fact2 -> int2: このもねもにゅLv.10は甚振り続けるしそれは入り辛い; int2 -> int3: 「甚振り続けるしそれに入り辛い」モンスターはいる; int3 & fact7 -> int4: あのみゆみわLv.3は削り直す; int4 & fact3 -> hypothesis;
fact1 & fact5 -> int1: {B}{a}; int1 & fact2 -> int2: ({C}{a} & {B}{a}); int2 -> int3: (Ex): ({C}x & {B}x); int3 & fact7 -> int4: {D}{b}; int4 & fact3 -> hypothesis;
「あのみゆみわLv.3は同船するしかつ削り直す」ということは成り立たない
$facts$ = fact1: もし仮に「このもねもにゅLv.10はいがらっぽい」ということは真実なら入り辛い fact2: 「このもねもにゅLv.10は甚振り続ける」ということは事実だ fact3: あのみゆみわLv.3は同船する fact4: もしもこのもねもにゅLv.10が甚振り続けないならそれは同船するし更にそれは入り辛い fact5: このもねもにゅLv.10はいがらっぽい fact6: 「甚振り続ける」モンスターはいる fact7: もし仮に「甚振り続けるしおまけに入り辛い」モンスターがいるとしたらあのみゆみわLv.3は削り直す fact8: 仮にこのもねもにゅLv.10はいがらっぽくないとすると「あのみゆみわLv.3は同船するし削り直す」ということは成り立たない fact9: もしも「なんらかのモンスターは削り直すということはないけれどそれは甚振り続ける」ということは偽なら甚振り続けない ; $hypothesis$ = 「あのみゆみわLv.3は同船するしかつ削り直す」ということは成り立たない ; $proof$ = 
fact1 & fact5 -> int1: このもねもにゅLv.10は入り辛い; int1 & fact2 -> int2: このもねもにゅLv.10は甚振り続けるしそれは入り辛い; int2 -> int3: 「甚振り続けるしそれに入り辛い」モンスターはいる; int3 & fact7 -> int4: あのみゆみわLv.3は削り直す; int4 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact5 -> int1: {B}{a}; int1 & fact2 -> int2: ({C}{a} & {B}{a}); int2 -> int3: (Ex): ({C}x & {B}x); int3 & fact7 -> int4: {D}{b}; int4 & fact3 -> hypothesis; __DISPROVED__