あのぽねぽちゅLv.37は分かち難い
fact1: あのぷなぷにLv.72は知り難くない fact2: もし仮にあのぷなぷにLv.72が知り難くないとすればあのぽねぽちゅLv.37は冷め難くてそれは開示請求する fact3: 仮に何らかのモンスターは開示請求しないならば「それは分かち難くてそれは冷め難いということはない」ということは誤っている fact4: もしあのぽねぽちゅLv.37が生き為さればそれは分かち難い fact5: もしも「あのぽねぽちゅLv.37は冷め難い」ということは確かならば生き為さる
fact1 & fact2 -> int1: あのぽねぽちゅLv.37は冷め難くて開示請求する; int1 -> int2: 「あのぽねぽちゅLv.37は冷め難い」ということは事実と異ならない; int2 & fact5 -> int3: あのぽねぽちゅLv.37は生き為さる; int3 & fact4 -> hypothesis;
fact1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact5 -> int3: {C}{a}; int3 & fact4 -> hypothesis;
あのぽねぽちゅLv.37は分かち難いということはない
fact6 -> int4: もしあのぽねぽちゅLv.37は開示請求しないならば「あのぽねぽちゅLv.37は分かち難いが冷め難くない」ということは本当だということはない;
$facts$ = fact1: あのぷなぷにLv.72は知り難くない fact2: もし仮にあのぷなぷにLv.72が知り難くないとすればあのぽねぽちゅLv.37は冷め難くてそれは開示請求する fact3: 仮に何らかのモンスターは開示請求しないならば「それは分かち難くてそれは冷め難いということはない」ということは誤っている fact4: もしあのぽねぽちゅLv.37が生き為さればそれは分かち難い fact5: もしも「あのぽねぽちゅLv.37は冷め難い」ということは確かならば生き為さる ; $hypothesis$ = あのぽねぽちゅLv.37は分かち難い ; $proof$ = 
fact1 & fact2 -> int1: あのぽねぽちゅLv.37は冷め難くて開示請求する; int1 -> int2: 「あのぽねぽちゅLv.37は冷め難い」ということは事実と異ならない; int2 & fact5 -> int3: あのぽねぽちゅLv.37は生き為さる; int3 & fact4 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact5 -> int3: {C}{a}; int3 & fact4 -> hypothesis; __PROVED__