「このぽいぽゆLv.12は持ち難くない」ということは成り立つ
fact1: もしこのぽいぽゆLv.12は恙無いなら「このぽいぽゆLv.12は歯痒い」ということは事実だ fact2: このぽいぽゆLv.12は素晴らしし加えて恙無い fact3: 素晴らしモンスターは歯痒くないとすると「恙無くない」ということは成り立たない fact4: もしこのぽいぽゆLv.12は歯痒いとしたら「それは持ち難い」ということは成り立つ
fact2 -> int1: このぽいぽゆLv.12は恙無い; int1 & fact1 -> int2: このぽいぽゆLv.12は歯痒い; int2 & fact4 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
「このぽいぽゆLv.12は持ち難くない」ということは成り立つ
fact5 -> int3: 「このまわまちょLv.35は素晴らしけどそれは歯痒くない」ということは事実ならばそれは恙無い;
$facts$ = fact1: もしこのぽいぽゆLv.12は恙無いなら「このぽいぽゆLv.12は歯痒い」ということは事実だ fact2: このぽいぽゆLv.12は素晴らしし加えて恙無い fact3: 素晴らしモンスターは歯痒くないとすると「恙無くない」ということは成り立たない fact4: もしこのぽいぽゆLv.12は歯痒いとしたら「それは持ち難い」ということは成り立つ ; $hypothesis$ = 「このぽいぽゆLv.12は持ち難くない」ということは成り立つ ; $proof$ = 
fact2 -> int1: このぽいぽゆLv.12は恙無い; int1 & fact1 -> int2: このぽいぽゆLv.12は歯痒い; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __DISPROVED__