そのぴよぴねLv.11は男の子らしくない
fact1: もしもそのぴよぴねLv.11が恐ろしくないならばそのぴよぴねLv.11ははしたなくてまた選択し易い fact2: このぴくぴにゅLv.76ははしたなくておまけに恐ろしい fact3: もし仮に「そのぴよぴねLv.11はごつい」ということは成り立つなら「そのぴよぴねLv.11は男の子らしい」ということは成り立つ fact4: もしもそのぴよぴねLv.11がはしたないとするとそれはごつい fact5: そのぴよぴねLv.11は恐ろしくない fact6: もし仮になんらかのモンスターが選択し易いならそれは青臭い fact7: もしあるモンスターが男の子らしくないかもしくはそれが馴らすならこのぴくぴにゅLv.76は男の子らしくない fact8: そのぴよぴねLv.11は男の子らしいということはないかまたはそれは馴らすかあるいは両方である
fact5 & fact1 -> int1: そのぴよぴねLv.11ははしたないし選択し易い; int1 -> int2: そのぴよぴねLv.11ははしたない; int2 & fact4 -> int3: そのぴよぴねLv.11はごつい; int3 & fact3 -> hypothesis;
fact5 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact4 -> int3: {C}{a}; int3 & fact3 -> hypothesis;
このぴくぴにゅLv.76は青臭いしはしたない
fact9 -> int4: もし仮にこのぴくぴにゅLv.76が選択し易いとすればこのぴくぴにゅLv.76は青臭い; fact12 -> int5: 「男の子らしくないかあるいは馴らすかもしくはどちらもな」モンスターはいる; int5 & fact11 -> int6: このぴくぴにゅLv.76は男の子らしくない; fact10 -> int7: このぴくぴにゅLv.76ははしたない;
$facts$ = fact1: もしもそのぴよぴねLv.11が恐ろしくないならばそのぴよぴねLv.11ははしたなくてまた選択し易い fact2: このぴくぴにゅLv.76ははしたなくておまけに恐ろしい fact3: もし仮に「そのぴよぴねLv.11はごつい」ということは成り立つなら「そのぴよぴねLv.11は男の子らしい」ということは成り立つ fact4: もしもそのぴよぴねLv.11がはしたないとするとそれはごつい fact5: そのぴよぴねLv.11は恐ろしくない fact6: もし仮になんらかのモンスターが選択し易いならそれは青臭い fact7: もしあるモンスターが男の子らしくないかもしくはそれが馴らすならこのぴくぴにゅLv.76は男の子らしくない fact8: そのぴよぴねLv.11は男の子らしいということはないかまたはそれは馴らすかあるいは両方である ; $hypothesis$ = そのぴよぴねLv.11は男の子らしくない ; $proof$ = 
fact5 & fact1 -> int1: そのぴよぴねLv.11ははしたないし選択し易い; int1 -> int2: そのぴよぴねLv.11ははしたない; int2 & fact4 -> int3: そのぴよぴねLv.11はごつい; int3 & fact3 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact4 -> int3: {C}{a}; int3 & fact3 -> hypothesis; __DISPROVED__