「あのもねもよLv.2は愛しい」ということは確かである
fact1: あのもねもよLv.2は発揮し難くてそれに女らしい fact2: 「あのもねもよLv.2は太くない」ということは間違っている fact3: もしもあのもねもよLv.2が太くて愛しいならばあのもねもよLv.2は腑甲斐無くない fact4: このぴよぴくLv.43が腑甲斐無いとしたらあのもねもよLv.2は聞こえ難い fact5: あのもねもよLv.2は聞こえ難くてまた太いならば「あのもねもよLv.2は愛しくない」ということは本当である fact6: そのぴやぴちゃLv.1は否定し難いしまた愛しい fact7: このぴよぴくLv.43は腑甲斐無い
fact4 & fact7 -> int1: あのもねもよLv.2は聞こえ難い; int1 & fact2 -> int2: 「あのもねもよLv.2は聞こえ難いし太い」ということは事実である; int2 & fact5 -> hypothesis;
fact4 & fact7 -> int1: {B}{b}; int1 & fact2 -> int2: ({B}{b} & {C}{b}); int2 & fact5 -> hypothesis;
そのぴやぴちゃLv.1は否定し難くておまけにほろ苦い
fact8 -> int3: そのぴやぴちゃLv.1は否定し難い;
$facts$ = fact1: あのもねもよLv.2は発揮し難くてそれに女らしい fact2: 「あのもねもよLv.2は太くない」ということは間違っている fact3: もしもあのもねもよLv.2が太くて愛しいならばあのもねもよLv.2は腑甲斐無くない fact4: このぴよぴくLv.43が腑甲斐無いとしたらあのもねもよLv.2は聞こえ難い fact5: あのもねもよLv.2は聞こえ難くてまた太いならば「あのもねもよLv.2は愛しくない」ということは本当である fact6: そのぴやぴちゃLv.1は否定し難いしまた愛しい fact7: このぴよぴくLv.43は腑甲斐無い ; $hypothesis$ = 「あのもねもよLv.2は愛しい」ということは確かである ; $proof$ = 
fact4 & fact7 -> int1: あのもねもよLv.2は聞こえ難い; int1 & fact2 -> int2: 「あのもねもよLv.2は聞こえ難いし太い」ということは事実である; int2 & fact5 -> hypothesis; __DISPROVED__
fact4 & fact7 -> int1: {B}{b}; int1 & fact2 -> int2: ({B}{b} & {C}{b}); int2 & fact5 -> hypothesis; __DISPROVED__