「あのぽねぽにLv.97は夏らしいし真ん丸い」ということは成り立つということはない
fact1: もしこのぷくぷゆLv.67は学ぶなら「あのぽねぽにLv.97は夏らしい」ということは成り立つ fact2: このぷくぷゆLv.67が生まれ難いなら学ぶ fact3: 「このもにょもちゅLv.31は温かい」ということは確かなら遣る瀬無い fact4: もし仮になんらかのモンスターは温かくないとしたら「それは夏らしいしさらに真ん丸い」ということは成り立たない fact5: 生まれ難いモンスターは温かい一方で遣る瀬無くない fact6: あのぽねぽにLv.97は真ん丸い fact7: このもにょもちゅLv.31が学ぶとしたらこのもにょもちゅLv.31は遣る瀬無い fact8: 「このもにょもちゅLv.31は温かい」ということは成り立つ fact9: もしこのもにょもちゅLv.31は遣る瀬無いとすると「このぷくぷゆLv.67は生まれ難い」ということは真実だ
fact3 & fact8 -> int1: このもにょもちゅLv.31は遣る瀬無い; int1 & fact9 -> int2: このぷくぷゆLv.67は生まれ難い; int2 & fact2 -> int3: このぷくぷゆLv.67は学ぶ; int3 & fact1 -> int4: あのぽねぽにLv.97は夏らしい; int4 & fact6 -> hypothesis;
fact3 & fact8 -> int1: {B}{a}; int1 & fact9 -> int2: {C}{b}; int2 & fact2 -> int3: {D}{b}; int3 & fact1 -> int4: {E}{c}; int4 & fact6 -> hypothesis;
「あのぽねぽにLv.97は夏らしいし真ん丸い」ということは成り立つということはない
fact11 -> int5: 仮にあのぽねぽにLv.97は温かくないなら「それは夏らしいしそれは真ん丸い」ということは間違いである; fact10 -> int6: もしこのもにょもちゅLv.31が生まれ難いとするとこのもにょもちゅLv.31は温かいがしかし遣る瀬無いということはない;
$facts$ = fact1: もしこのぷくぷゆLv.67は学ぶなら「あのぽねぽにLv.97は夏らしい」ということは成り立つ fact2: このぷくぷゆLv.67が生まれ難いなら学ぶ fact3: 「このもにょもちゅLv.31は温かい」ということは確かなら遣る瀬無い fact4: もし仮になんらかのモンスターは温かくないとしたら「それは夏らしいしさらに真ん丸い」ということは成り立たない fact5: 生まれ難いモンスターは温かい一方で遣る瀬無くない fact6: あのぽねぽにLv.97は真ん丸い fact7: このもにょもちゅLv.31が学ぶとしたらこのもにょもちゅLv.31は遣る瀬無い fact8: 「このもにょもちゅLv.31は温かい」ということは成り立つ fact9: もしこのもにょもちゅLv.31は遣る瀬無いとすると「このぷくぷゆLv.67は生まれ難い」ということは真実だ ; $hypothesis$ = 「あのぽねぽにLv.97は夏らしいし真ん丸い」ということは成り立つということはない ; $proof$ = 
fact3 & fact8 -> int1: このもにょもちゅLv.31は遣る瀬無い; int1 & fact9 -> int2: このぷくぷゆLv.67は生まれ難い; int2 & fact2 -> int3: このぷくぷゆLv.67は学ぶ; int3 & fact1 -> int4: あのぽねぽにLv.97は夏らしい; int4 & fact6 -> hypothesis; __DISPROVED__
fact3 & fact8 -> int1: {B}{a}; int1 & fact9 -> int2: {C}{b}; int2 & fact2 -> int3: {D}{b}; int3 & fact1 -> int4: {E}{c}; int4 & fact6 -> hypothesis; __DISPROVED__