「あのぷなぷくLv.45は疎い」ということは成り立つ
fact1: もしあのまやまちゅLv.31は居合わせるかあるいは毒々しくないならば「あのまやまちゅLv.31は毒々しくない」ということは真実である fact2: もし仮にあのぷゆぷにゅLv.92が悍ましいならあのぷゆぷにゅLv.92は結合し易い fact3: あのぷなぷくLv.45は居合わせる fact4: 仮にあのぷゆぷにゅLv.92が毒々しいとしたらあのぷゆぷにゅLv.92は悍ましい fact5: 仮にあのぷゆぷにゅLv.92が結合し易くて更にそれが居合わせればあのぷなぷくLv.45は疎いということはない fact6: あのぷゆぷにゅLv.92は苛々し易くない一方でそれは小煩い fact7: 仮にあのぷゆぷにゅLv.92が苛々し易いということはないけど小煩いなら「あのぷゆぷにゅLv.92は毒々しい」ということは成り立つ fact8: そのもにょもいLv.9は気高しし悍ましい fact9: あのぷゆぷにゅLv.92は小煩い fact10: あのぷゆぷにゅLv.92は居合わせる
fact7 & fact6 -> int1: 「あのぷゆぷにゅLv.92は毒々しい」ということは嘘でない; int1 & fact4 -> int2: あのぷゆぷにゅLv.92は悍ましい; int2 & fact2 -> int3: あのぷゆぷにゅLv.92は結合し易い; int3 & fact10 -> int4: あのぷゆぷにゅLv.92は結合し易いししかも居合わせる; int4 & fact5 -> hypothesis;
fact7 & fact6 -> int1: {B}{a}; int1 & fact4 -> int2: {A}{a}; int2 & fact2 -> int3: {C}{a}; int3 & fact10 -> int4: ({C}{a} & {D}{a}); int4 & fact5 -> hypothesis;
あのまやまちゅLv.31は疎くない
$facts$ = fact1: もしあのまやまちゅLv.31は居合わせるかあるいは毒々しくないならば「あのまやまちゅLv.31は毒々しくない」ということは真実である fact2: もし仮にあのぷゆぷにゅLv.92が悍ましいならあのぷゆぷにゅLv.92は結合し易い fact3: あのぷなぷくLv.45は居合わせる fact4: 仮にあのぷゆぷにゅLv.92が毒々しいとしたらあのぷゆぷにゅLv.92は悍ましい fact5: 仮にあのぷゆぷにゅLv.92が結合し易くて更にそれが居合わせればあのぷなぷくLv.45は疎いということはない fact6: あのぷゆぷにゅLv.92は苛々し易くない一方でそれは小煩い fact7: 仮にあのぷゆぷにゅLv.92が苛々し易いということはないけど小煩いなら「あのぷゆぷにゅLv.92は毒々しい」ということは成り立つ fact8: そのもにょもいLv.9は気高しし悍ましい fact9: あのぷゆぷにゅLv.92は小煩い fact10: あのぷゆぷにゅLv.92は居合わせる ; $hypothesis$ = 「あのぷなぷくLv.45は疎い」ということは成り立つ ; $proof$ = 
fact7 & fact6 -> int1: 「あのぷゆぷにゅLv.92は毒々しい」ということは嘘でない; int1 & fact4 -> int2: あのぷゆぷにゅLv.92は悍ましい; int2 & fact2 -> int3: あのぷゆぷにゅLv.92は結合し易い; int3 & fact10 -> int4: あのぷゆぷにゅLv.92は結合し易いししかも居合わせる; int4 & fact5 -> hypothesis; __DISPROVED__
fact7 & fact6 -> int1: {B}{a}; int1 & fact4 -> int2: {A}{a}; int2 & fact2 -> int3: {C}{a}; int3 & fact10 -> int4: ({C}{a} & {D}{a}); int4 & fact5 -> hypothesis; __DISPROVED__