「このぴゆぴちゃLv.12は付き難いかまたはそれは愛くるしい」ということは事実と異なる
fact1: あのぷねぷにLv.15は上り易い fact2: このぴゆぴちゃLv.12は誤解し易いしその上付き難い fact3: もしそのぽなぽちゅLv.34がトーストしないとするとそのぷのぷねLv.33は付き難くて誤解し易い fact4: あのぷねぷにLv.15は生まれ易くないかそれは差し障るということはないかもしくはどちらもである
fact2 -> int1: このぴゆぴちゃLv.12は付き難い; int1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 -> hypothesis;
「このぴゆぴちゃLv.12は付き難いかまたはそれは愛くるしい」ということは事実と異なる
$facts$ = fact1: あのぷねぷにLv.15は上り易い fact2: このぴゆぴちゃLv.12は誤解し易いしその上付き難い fact3: もしそのぽなぽちゅLv.34がトーストしないとするとそのぷのぷねLv.33は付き難くて誤解し易い fact4: あのぷねぷにLv.15は生まれ易くないかそれは差し障るということはないかもしくはどちらもである ; $hypothesis$ = 「このぴゆぴちゃLv.12は付き難いかまたはそれは愛くるしい」ということは事実と異なる ; $proof$ = 
fact2 -> int1: このぴゆぴちゃLv.12は付き難い; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 -> hypothesis; __DISPROVED__