あのぽねぽにゅLv.43は可笑しということはない
fact1: あのぽいぽいLv.3はブランドらしくないが頼もしい fact2: あのぽねぽにゅLv.43は利き難い fact3: あのぽねぽにゅLv.43は利き難いし歩き難い fact4: 仮にあのぽねぽにゅLv.43が与力するとするとあのぽねぽにゅLv.43は可笑し fact5: もし仮になんらかのモンスターが与力するとすればそれは長細い fact6: 仮にあのぽねぽにゅLv.43が歩き難いならばそれは与力する fact7: もし仮にあのぽいぽいLv.3がブランドらしくないならばそれは利き難くて加えてそれは歩き難い fact8: もし仮に「とあるモンスターは擽ったくない」ということは成り立つとすると与力するがしかし可笑しない
fact3 -> int1: あのぽねぽにゅLv.43は歩き難い; int1 & fact6 -> int2: あのぽねぽにゅLv.43は与力する; int2 & fact4 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
あのぽいぽいLv.3は長細くてかつ歩き難い
fact12 -> int3: あのぽいぽいLv.3はブランドらしくない; int3 & fact9 -> int4: あのぽいぽいLv.3は利き難くて歩き難い; int4 -> int5: あのぽいぽいLv.3は歩き難い; fact10 -> int6: 仮にあのぽねぽにゅLv.43は擽ったくないとしたら「あのぽねぽにゅLv.43は与力するけれどそれは可笑しということはない」ということは正しい; fact11 -> int7: あのぽいぽいLv.3が与力すればそれは長細い;
$facts$ = fact1: あのぽいぽいLv.3はブランドらしくないが頼もしい fact2: あのぽねぽにゅLv.43は利き難い fact3: あのぽねぽにゅLv.43は利き難いし歩き難い fact4: 仮にあのぽねぽにゅLv.43が与力するとするとあのぽねぽにゅLv.43は可笑し fact5: もし仮になんらかのモンスターが与力するとすればそれは長細い fact6: 仮にあのぽねぽにゅLv.43が歩き難いならばそれは与力する fact7: もし仮にあのぽいぽいLv.3がブランドらしくないならばそれは利き難くて加えてそれは歩き難い fact8: もし仮に「とあるモンスターは擽ったくない」ということは成り立つとすると与力するがしかし可笑しない ; $hypothesis$ = あのぽねぽにゅLv.43は可笑しということはない ; $proof$ = 
fact3 -> int1: あのぽねぽにゅLv.43は歩き難い; int1 & fact6 -> int2: あのぽねぽにゅLv.43は与力する; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __DISPROVED__