「あのみやみわLv.87は羨ましいかそれは頬擦りする」ということは事実と異なる
fact1: 仮にそのまねまにゅLv.89が持ち難いとするとあのみやみわLv.87は頬擦りする fact2: そのまねまにゅLv.89が娘らしくないとすればそのまねまにゅLv.89は持ち難い fact3: そのまねまにゅLv.89は娘らしくない fact4: もしそのまねまにゅLv.89が果てし無いとしたらあのみやみわLv.87は娘らしくないけどそれは持ち難い fact5: もしもあのぴにょぴにLv.67が隠形しないならばそのまねまにゅLv.89は果てし無いしそれは集まり易い fact6: もし仮になにがしかのモンスターが長しかあるいはそれは凛々しくないかまたは両方であるとしたら隠形しない fact7: もしもとあるモンスターは娘らしくないなら「羨ましいかあるいは頬擦りする」ということは成り立つということはない
fact2 & fact3 -> int1: そのまねまにゅLv.89は持ち難い; int1 & fact1 -> int2: あのみやみわLv.87は頬擦りする; int2 -> hypothesis;
fact2 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 -> hypothesis;
「あのみやみわLv.87は羨ましいかそれは頬擦りする」ということは事実と異なる
fact10 -> int3: もし仮にあのみやみわLv.87は娘らしくないならば「あのみやみわLv.87は羨ましいかそれは頬擦りする」ということは成り立たない; fact11 -> int4: もしもあのぴにょぴにLv.67が長しかもしくはそれは凛々しくないかあるいは両方ともだとすれば隠形しない;
$facts$ = fact1: 仮にそのまねまにゅLv.89が持ち難いとするとあのみやみわLv.87は頬擦りする fact2: そのまねまにゅLv.89が娘らしくないとすればそのまねまにゅLv.89は持ち難い fact3: そのまねまにゅLv.89は娘らしくない fact4: もしそのまねまにゅLv.89が果てし無いとしたらあのみやみわLv.87は娘らしくないけどそれは持ち難い fact5: もしもあのぴにょぴにLv.67が隠形しないならばそのまねまにゅLv.89は果てし無いしそれは集まり易い fact6: もし仮になにがしかのモンスターが長しかあるいはそれは凛々しくないかまたは両方であるとしたら隠形しない fact7: もしもとあるモンスターは娘らしくないなら「羨ましいかあるいは頬擦りする」ということは成り立つということはない ; $hypothesis$ = 「あのみやみわLv.87は羨ましいかそれは頬擦りする」ということは事実と異なる ; $proof$ = 
fact2 & fact3 -> int1: そのまねまにゅLv.89は持ち難い; int1 & fact1 -> int2: あのみやみわLv.87は頬擦りする; int2 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 -> hypothesis; __DISPROVED__