そのぽゆぽちゃLv.91は張れる
fact1: もしもあのぷえぷのLv.77が着易いしそれが難しいならばそのぽゆぽちゃLv.91は張れない fact2: 「あのぷえぷのLv.77は流され易いし更に細長い」ということは嘘だ fact3: もし「あのぷえぷのLv.77は流され易い一方で細長いということはない」ということは偽であるとするとあのぷえぷのLv.77は難しい fact4: 「あのぷえぷのLv.77は流され易いけど細長いということはない」ということは成り立たない fact5: あのぷえぷのLv.77は着易い
fact3 & fact4 -> int1: あのぷえぷのLv.77は難しい; int1 & fact5 -> int2: 「あのぷえぷのLv.77は着易いしおまけに難しい」ということは事実だ; int2 & fact1 -> hypothesis;
fact3 & fact4 -> int1: {B}{a}; int1 & fact5 -> int2: ({A}{a} & {B}{a}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もしもあのぷえぷのLv.77が着易いしそれが難しいならばそのぽゆぽちゃLv.91は張れない fact2: 「あのぷえぷのLv.77は流され易いし更に細長い」ということは嘘だ fact3: もし「あのぷえぷのLv.77は流され易い一方で細長いということはない」ということは偽であるとするとあのぷえぷのLv.77は難しい fact4: 「あのぷえぷのLv.77は流され易いけど細長いということはない」ということは成り立たない fact5: あのぷえぷのLv.77は着易い ; $hypothesis$ = そのぽゆぽちゃLv.91は張れる ; $proof$ = 
fact3 & fact4 -> int1: あのぷえぷのLv.77は難しい; int1 & fact5 -> int2: 「あのぷえぷのLv.77は着易いしおまけに難しい」ということは事実だ; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: {B}{a}; int1 & fact5 -> int2: ({A}{a} & {B}{a}); int2 & fact1 -> hypothesis; __DISPROVED__