「そのぴいぴちゅLv.26は伸ばし易くてまた腐り易い」ということは偽だ
fact1: 仮にあのぽのぽにょLv.63が頼もしくないならばそのぴいぴちゅLv.26は伸ばし易くてかつ頼もしい fact2: あのぽのぽにょLv.63は見通すしそれに街らしい fact3: 仮にあのぽのぽにょLv.63が見通せばあのぽのぽにょLv.63は頼もしくない fact4: そのぴいぴちゅLv.26は腐り易い fact5: 仮にあのぽのぽにょLv.63は見通さないとすれば「そのぴいぴちゅLv.26は伸ばし易いしその上腐り易い」ということは成り立たない
fact2 -> int1: あのぽのぽにょLv.63は見通す; int1 & fact3 -> int2: あのぽのぽにょLv.63は頼もしくない; int2 & fact1 -> int3: そのぴいぴちゅLv.26は伸ばし易いし更にそれは頼もしい; int3 -> int4: そのぴいぴちゅLv.26は伸ばし易い; int4 & fact4 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: ¬{C}{a}; int2 & fact1 -> int3: ({E}{b} & {C}{b}); int3 -> int4: {E}{b}; int4 & fact4 -> hypothesis;
「そのぴいぴちゅLv.26は伸ばし易くてまた腐り易い」ということは偽だ
$facts$ = fact1: 仮にあのぽのぽにょLv.63が頼もしくないならばそのぴいぴちゅLv.26は伸ばし易くてかつ頼もしい fact2: あのぽのぽにょLv.63は見通すしそれに街らしい fact3: 仮にあのぽのぽにょLv.63が見通せばあのぽのぽにょLv.63は頼もしくない fact4: そのぴいぴちゅLv.26は腐り易い fact5: 仮にあのぽのぽにょLv.63は見通さないとすれば「そのぴいぴちゅLv.26は伸ばし易いしその上腐り易い」ということは成り立たない ; $hypothesis$ = 「そのぴいぴちゅLv.26は伸ばし易くてまた腐り易い」ということは偽だ ; $proof$ = 
fact2 -> int1: あのぽのぽにょLv.63は見通す; int1 & fact3 -> int2: あのぽのぽにょLv.63は頼もしくない; int2 & fact1 -> int3: そのぴいぴちゅLv.26は伸ばし易いし更にそれは頼もしい; int3 -> int4: そのぴいぴちゅLv.26は伸ばし易い; int4 & fact4 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: ¬{C}{a}; int2 & fact1 -> int3: ({E}{b} & {C}{b}); int3 -> int4: {E}{b}; int4 & fact4 -> hypothesis; __DISPROVED__