以下のように仮定する。このぽにゅぽくLv.46はきったない
fact1: このぽにゅぽくLv.46は詰まり易くない fact2: もしもこのぽにゅぽくLv.46がきったないか○○するとすればこのぷやぷにゅLv.13は多しない fact3: このぷやぷにゅLv.13はきったないということはない fact4: あのぽちゅぽえLv.22は多し fact5: もし仮にこのぷやぷにゅLv.13がきったないならばこのぽにゅぽくLv.46は多しない fact6: このぷわぷにLv.71は多しない
void -> assump1: 以下のように仮定する。このぽにゅぽくLv.46はきったない; assump1 -> int1: このぽにゅぽくLv.46はきったないか○○する; int1 & fact2 -> int2: このぷやぷにゅLv.13は多しない;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{b};
$facts$ = fact1: このぽにゅぽくLv.46は詰まり易くない fact2: もしもこのぽにゅぽくLv.46がきったないか○○するとすればこのぷやぷにゅLv.13は多しない fact3: このぷやぷにゅLv.13はきったないということはない fact4: あのぽちゅぽえLv.22は多し fact5: もし仮にこのぷやぷにゅLv.13がきったないならばこのぽにゅぽくLv.46は多しない fact6: このぷわぷにLv.71は多しない ; $hypothesis$ = 以下のように仮定する。このぽにゅぽくLv.46はきったない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__