「そのまにょまちゅLv.1は味気無いかまたは近寄り難い」ということは事実でない
fact1: そのまにょまちゅLv.1が味気無いしその上それは宜し
fact1 -> int1: そのまにょまちゅLv.1は味気無い; int1 -> hypothesis;
fact1 -> int1: {A}{a}; int1 -> hypothesis;
$facts$ = fact1: そのまにょまちゅLv.1が味気無いしその上それは宜し ; $hypothesis$ = 「そのまにょまちゅLv.1は味気無いかまたは近寄り難い」ということは事実でない ; $proof$ = 
fact1 -> int1: そのまにょまちゅLv.1は味気無い; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 -> hypothesis; __DISPROVED__