あのぷにぷちゅLv.14は言上する
fact1: このまにょまちゃLv.81が小汚いならあのぷにぷちゅLv.14は伝授する fact2: あのぷにぷちゅLv.14がべた付き易いしおまけにそれが伝授すればあのぷにぷちゅLv.14は言上するということはない fact3: あのぷにぷちゅLv.14は論及する fact4: 仮にあのぽくぽにLv.1が論及するとしたらこのまにょまちゃLv.81は小汚い fact5: あのぷにぷちゅLv.14はべた付き易い fact6: あのぽくぽにLv.1が論及するしその上それは集中出来る
fact6 -> int1: あのぽくぽにLv.1は論及する; int1 & fact4 -> int2: 「このまにょまちゃLv.81は小汚いということはない」ということは成り立たない; int2 & fact1 -> int3: 「あのぷにぷちゅLv.14は伝授する」ということは真実である; int3 & fact5 -> int4: あのぷにぷちゅLv.14はべた付き易くておまけにそれは伝授する; int4 & fact2 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact1 -> int3: {D}{c}; int3 & fact5 -> int4: ({E}{c} & {D}{c}); int4 & fact2 -> hypothesis;
$facts$ = fact1: このまにょまちゃLv.81が小汚いならあのぷにぷちゅLv.14は伝授する fact2: あのぷにぷちゅLv.14がべた付き易いしおまけにそれが伝授すればあのぷにぷちゅLv.14は言上するということはない fact3: あのぷにぷちゅLv.14は論及する fact4: 仮にあのぽくぽにLv.1が論及するとしたらこのまにょまちゃLv.81は小汚い fact5: あのぷにぷちゅLv.14はべた付き易い fact6: あのぽくぽにLv.1が論及するしその上それは集中出来る ; $hypothesis$ = あのぷにぷちゅLv.14は言上する ; $proof$ = 
fact6 -> int1: あのぽくぽにLv.1は論及する; int1 & fact4 -> int2: 「このまにょまちゃLv.81は小汚いということはない」ということは成り立たない; int2 & fact1 -> int3: 「あのぷにぷちゅLv.14は伝授する」ということは真実である; int3 & fact5 -> int4: あのぷにぷちゅLv.14はべた付き易くておまけにそれは伝授する; int4 & fact2 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact1 -> int3: {D}{c}; int3 & fact5 -> int4: ({E}{c} & {D}{c}); int4 & fact2 -> hypothesis; __DISPROVED__