このぷくぷいLv.27は塩っ辛いということはない
fact1: 仮にあのまちゅまにゅLv.96が甚だしないならこのぴにょぴねLv.71はおっかしいということはない fact2: このぷくぷいLv.27は素人っぽくてさらにおっかしい fact3: もし仮にこのぷくぷいLv.27が甚だしならそれは塩っ辛い fact4: もし「このぴえぴにゅLv.28は聞こえるということはない一方でそれは取り出し易い」ということは本当だということはないならばあのまちゅまにゅLv.96は甚だしない fact5: もしこのぷくぷいLv.27が素人っぽいとするとこのぷくぷいLv.27は甚だし
fact2 -> int1: 「このぷくぷいLv.27は素人っぽい」ということは本当だ; int1 & fact5 -> int2: このぷくぷいLv.27は甚だし; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
このぷくぷいLv.27は塩っ辛いということはない
$facts$ = fact1: 仮にあのまちゅまにゅLv.96が甚だしないならこのぴにょぴねLv.71はおっかしいということはない fact2: このぷくぷいLv.27は素人っぽくてさらにおっかしい fact3: もし仮にこのぷくぷいLv.27が甚だしならそれは塩っ辛い fact4: もし「このぴえぴにゅLv.28は聞こえるということはない一方でそれは取り出し易い」ということは本当だということはないならばあのまちゅまにゅLv.96は甚だしない fact5: もしこのぷくぷいLv.27が素人っぽいとするとこのぷくぷいLv.27は甚だし ; $hypothesis$ = このぷくぷいLv.27は塩っ辛いということはない ; $proof$ = 
fact2 -> int1: 「このぷくぷいLv.27は素人っぽい」ということは本当だ; int1 & fact5 -> int2: このぷくぷいLv.27は甚だし; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__