「そのまのまにゅLv.0は首尾良くなくてかつ継続し難いということはない」ということは間違いだ
fact1: このぷにゃぷにょLv.23はどぎつい fact2: そのぴゆぴちょLv.10は帰省する fact3: そのまのまにゅLv.0は継続し難くない fact4: そのまのまにゅLv.0はどぎつい fact5: もしもそのぴゆぴちょLv.10が食い止めるしその上帰省すればそのまのまにゅLv.0は首尾良いということはない fact6: そのまのまにゅLv.0は帰省しない fact7: 仮にこのぷにゃぷにょLv.23が由々しいとすればそのぴゆぴちょLv.10は食い止める fact8: もし仮にこのぷにゃぷにょLv.23がどぎついとするとこのぷにゃぷにょLv.23は由々しい
fact8 & fact1 -> int1: このぷにゃぷにょLv.23は由々しい; int1 & fact7 -> int2: 「そのぴゆぴちょLv.10は食い止める」ということは確かだ; int2 & fact2 -> int3: そのぴゆぴちょLv.10は食い止めるししかも帰省する; int3 & fact5 -> int4: そのまのまにゅLv.0は首尾良くない; int4 & fact3 -> hypothesis;
fact8 & fact1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact2 -> int3: ({C}{b} & {D}{b}); int3 & fact5 -> int4: ¬{E}{c}; int4 & fact3 -> hypothesis;
$facts$ = fact1: このぷにゃぷにょLv.23はどぎつい fact2: そのぴゆぴちょLv.10は帰省する fact3: そのまのまにゅLv.0は継続し難くない fact4: そのまのまにゅLv.0はどぎつい fact5: もしもそのぴゆぴちょLv.10が食い止めるしその上帰省すればそのまのまにゅLv.0は首尾良いということはない fact6: そのまのまにゅLv.0は帰省しない fact7: 仮にこのぷにゃぷにょLv.23が由々しいとすればそのぴゆぴちょLv.10は食い止める fact8: もし仮にこのぷにゃぷにょLv.23がどぎついとするとこのぷにゃぷにょLv.23は由々しい ; $hypothesis$ = 「そのまのまにゅLv.0は首尾良くなくてかつ継続し難いということはない」ということは間違いだ ; $proof$ = 
fact8 & fact1 -> int1: このぷにゃぷにょLv.23は由々しい; int1 & fact7 -> int2: 「そのぴゆぴちょLv.10は食い止める」ということは確かだ; int2 & fact2 -> int3: そのぴゆぴちょLv.10は食い止めるししかも帰省する; int3 & fact5 -> int4: そのまのまにゅLv.0は首尾良くない; int4 & fact3 -> hypothesis; __DISPROVED__
fact8 & fact1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact2 -> int3: ({C}{b} & {D}{b}); int3 & fact5 -> int4: ¬{E}{c}; int4 & fact3 -> hypothesis; __DISPROVED__