このぴねぴわLv.47は例外無い
fact1: あのもよもやLv.43は挿管する fact2: もしもあのもよもやLv.43がしぶとくてかつ挿管すればこのぴねぴわLv.47は例外無くない fact3: あのぷちゅぷにょLv.65はすっごーい fact4: もしもあのぷちゅぷにょLv.65が粗いならばあのもよもやLv.43は斯くする fact5: もし「あのもよもやLv.43は斯くする」ということは間違っていないとするとしぶとい fact6: あのぷちゅぷにょLv.65がすっごーいとしたらあのぷちゅぷにょLv.65は粗い
fact6 & fact3 -> int1: あのぷちゅぷにょLv.65は粗い; int1 & fact4 -> int2: あのもよもやLv.43は斯くする; int2 & fact5 -> int3: 「あのもよもやLv.43はしぶとい」ということは確かである; int3 & fact1 -> int4: あのもよもやLv.43はしぶとくて挿管する; int4 & fact2 -> hypothesis;
fact6 & fact3 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact5 -> int3: {D}{b}; int3 & fact1 -> int4: ({D}{b} & {E}{b}); int4 & fact2 -> hypothesis;
$facts$ = fact1: あのもよもやLv.43は挿管する fact2: もしもあのもよもやLv.43がしぶとくてかつ挿管すればこのぴねぴわLv.47は例外無くない fact3: あのぷちゅぷにょLv.65はすっごーい fact4: もしもあのぷちゅぷにょLv.65が粗いならばあのもよもやLv.43は斯くする fact5: もし「あのもよもやLv.43は斯くする」ということは間違っていないとするとしぶとい fact6: あのぷちゅぷにょLv.65がすっごーいとしたらあのぷちゅぷにょLv.65は粗い ; $hypothesis$ = このぴねぴわLv.47は例外無い ; $proof$ = 
fact6 & fact3 -> int1: あのぷちゅぷにょLv.65は粗い; int1 & fact4 -> int2: あのもよもやLv.43は斯くする; int2 & fact5 -> int3: 「あのもよもやLv.43はしぶとい」ということは確かである; int3 & fact1 -> int4: あのもよもやLv.43はしぶとくて挿管する; int4 & fact2 -> hypothesis; __DISPROVED__
fact6 & fact3 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact5 -> int3: {D}{b}; int3 & fact1 -> int4: ({D}{b} & {E}{b}); int4 & fact2 -> hypothesis; __DISPROVED__