「このぽねぽいLv.67は着れないけどかわゆい」ということは成り立たない
fact1: 仮に「あのみわみなLv.68は着れるがかわゆくない」ということは嘘だとするとそのぽいぽにLv.46は着れない fact2: もしあのみわみなLv.68が感じ難くて更にまあるいとするとこのぽねぽいLv.67は着れない fact3: このぽねぽいLv.67はかわゆい fact4: 仮にとあるモンスターは感じ難いとすると「着れないがかわゆい」ということは誤っている fact5: このぽねぽいLv.67はまあるい fact6: あのみわみなLv.68は感じ難い fact7: あのみわみなLv.68はまあるい
fact6 & fact7 -> int1: 「あのみわみなLv.68は感じ難くてさらにまあるい」ということは本当である; int1 & fact2 -> int2: このぽねぽいLv.67は着れない; int2 & fact3 -> hypothesis;
fact6 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact3 -> hypothesis;
そのぽいぽにLv.46はまあるい
$facts$ = fact1: 仮に「あのみわみなLv.68は着れるがかわゆくない」ということは嘘だとするとそのぽいぽにLv.46は着れない fact2: もしあのみわみなLv.68が感じ難くて更にまあるいとするとこのぽねぽいLv.67は着れない fact3: このぽねぽいLv.67はかわゆい fact4: 仮にとあるモンスターは感じ難いとすると「着れないがかわゆい」ということは誤っている fact5: このぽねぽいLv.67はまあるい fact6: あのみわみなLv.68は感じ難い fact7: あのみわみなLv.68はまあるい ; $hypothesis$ = 「このぽねぽいLv.67は着れないけどかわゆい」ということは成り立たない ; $proof$ = 
fact6 & fact7 -> int1: 「あのみわみなLv.68は感じ難くてさらにまあるい」ということは本当である; int1 & fact2 -> int2: このぽねぽいLv.67は着れない; int2 & fact3 -> hypothesis; __DISPROVED__
fact6 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__