そのぽちゅぽちゅLv.49は集め易い
fact1: もしそのみねみなLv.43は黒しということはないならば「そのぽちゅぽちゅLv.49は黒ししおまけに掻き合わせる」ということは誤っている fact2: そのみねみなLv.43は酸っぱい fact3: そのみねみなLv.43は深くて更に萌える fact4: もしもそのみねみなLv.43が酸っぱいしかつ深いならそのみねみなLv.43は黒しない fact5: 「そのぽちゅぽちゅLv.49は黒ししかつそれは掻き合わせる」ということは成り立たないとすれば「集め易くない」ということは事実だ
fact3 -> int1: 「そのみねみなLv.43は深い」ということは真実である; int1 & fact2 -> int2: そのみねみなLv.43は酸っぱくてさらにそれは深い; int2 & fact4 -> int3: そのみねみなLv.43は黒しない; int3 & fact1 -> int4: 「「そのぽちゅぽちゅLv.49は黒ししそれに掻き合わせる」ということは誤りだ」ということは確かである; int4 & fact5 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> int2: ({C}{a} & {A}{a}); int2 & fact4 -> int3: ¬{D}{a}; int3 & fact1 -> int4: ¬({D}{b} & {E}{b}); int4 & fact5 -> hypothesis;
$facts$ = fact1: もしそのみねみなLv.43は黒しということはないならば「そのぽちゅぽちゅLv.49は黒ししおまけに掻き合わせる」ということは誤っている fact2: そのみねみなLv.43は酸っぱい fact3: そのみねみなLv.43は深くて更に萌える fact4: もしもそのみねみなLv.43が酸っぱいしかつ深いならそのみねみなLv.43は黒しない fact5: 「そのぽちゅぽちゅLv.49は黒ししかつそれは掻き合わせる」ということは成り立たないとすれば「集め易くない」ということは事実だ ; $hypothesis$ = そのぽちゅぽちゅLv.49は集め易い ; $proof$ = 
fact3 -> int1: 「そのみねみなLv.43は深い」ということは真実である; int1 & fact2 -> int2: そのみねみなLv.43は酸っぱくてさらにそれは深い; int2 & fact4 -> int3: そのみねみなLv.43は黒しない; int3 & fact1 -> int4: 「「そのぽちゅぽちゅLv.49は黒ししそれに掻き合わせる」ということは誤りだ」ということは確かである; int4 & fact5 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> int2: ({C}{a} & {A}{a}); int2 & fact4 -> int3: ¬{D}{a}; int3 & fact1 -> int4: ¬({D}{b} & {E}{b}); int4 & fact5 -> hypothesis; __DISPROVED__