以下のように仮定する。あのみちゃみにょLv.62は宣う
fact1: そのぽなぽのLv.97は宣う fact2: あのみちゃみにょLv.62は太り難い fact3: 「あのぴよぴちゅLv.49は自然らしい」ということは真実である fact4: そのぽなぽのLv.97は自然らしい fact5: もしも「あのみちゃみにょLv.62は快くない」ということは誤っていないとするとあのみちゃみにょLv.62は自然らしいし死別する fact6: 太り難くないモンスターは宣うしおまけに大人らしい fact7: もしもあのみちゃみにょLv.62が宣うしまた太り難いとするとそのぽなぽのLv.97は自然らしくない fact8: もしも「「そのぽなぽのLv.97は信じ易いかまたは言い易くない」ということは成り立つ」ということは間違っているとすれば「あのみちゃみにょLv.62は快くない」ということは事実だ
void -> assump1: 以下のように仮定する。あのみちゃみにょLv.62は宣う; assump1 & fact2 -> int1: あのみちゃみにょLv.62は宣うしその上太り難い; int1 & fact7 -> int2: そのぽなぽのLv.97は自然らしいということはない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact7 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのみちゃみにょLv.62が大人らしいしその上それは自然らしい
fact9 -> int4: 仮にあのみちゃみにょLv.62が太り難くないならばあのみちゃみにょLv.62は宣うしそれは大人らしい;
$facts$ = fact1: そのぽなぽのLv.97は宣う fact2: あのみちゃみにょLv.62は太り難い fact3: 「あのぴよぴちゅLv.49は自然らしい」ということは真実である fact4: そのぽなぽのLv.97は自然らしい fact5: もしも「あのみちゃみにょLv.62は快くない」ということは誤っていないとするとあのみちゃみにょLv.62は自然らしいし死別する fact6: 太り難くないモンスターは宣うしおまけに大人らしい fact7: もしもあのみちゃみにょLv.62が宣うしまた太り難いとするとそのぽなぽのLv.97は自然らしくない fact8: もしも「「そのぽなぽのLv.97は信じ易いかまたは言い易くない」ということは成り立つ」ということは間違っているとすれば「あのみちゃみにょLv.62は快くない」ということは事実だ ; $hypothesis$ = 以下のように仮定する。あのみちゃみにょLv.62は宣う ; $proof$ = 
void -> assump1: 以下のように仮定する。あのみちゃみにょLv.62は宣う; assump1 & fact2 -> int1: あのみちゃみにょLv.62は宣うしその上太り難い; int1 & fact7 -> int2: そのぽなぽのLv.97は自然らしいということはない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact7 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__