このまちょまにLv.71は概観出来る
fact1: もしもこのぴねぴちょLv.25が染み渡るとしたらこのまちょまにLv.71は概観出来る fact2: もしも「あのぷよぷにLv.13は御高い」ということは事実だとしたらあのぷよぷにLv.13は構え易い fact3: もしあのぷよぷにLv.13は構え易くないが概観出来るなら「このまちょまにLv.71は概観出来ない」ということは成り立つ fact4: もし「とあるモンスターは概観出来ないが御高い」ということは成り立つということはないならば概観出来る fact5: 「このぴねぴちょLv.25は相互交流しないがしかし染み渡る」ということは間違っている fact6: もし仮に「あのぷよぷにLv.13は構え易い」ということは真実であるならこのぴねぴちょLv.25は染み渡る fact7: 仮に「とあるモンスターは放送するが結合し易くない」ということは間違っていれば構え易くない fact8: あのぷよぷにLv.13は御高い fact9: あるモンスターは染み渡らないなら「それは概観出来なくて御高い」ということは成り立たない
fact2 & fact8 -> int1: あのぷよぷにLv.13は構え易い; int1 & fact6 -> int2: このぴねぴちょLv.25は染み渡る; int2 & fact1 -> hypothesis;
fact2 & fact8 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
このまちょまにLv.71は概観出来るということはない
fact10 -> int3: もし「あのぷよぷにLv.13は放送するけれど結合し易くない」ということは偽ならあのぷよぷにLv.13は構え易くない; fact14 -> int4: 「あのぷよぷにLv.13は概観出来るということはない一方で御高い」ということは成り立たないとしたら概観出来る; fact12 -> int5: もしも「あのぷよぷにLv.13は染み渡らない」ということは成り立てば「それは概観出来ないがしかし御高い」ということは嘘だ; fact13 -> int6: 「「相互交流しないし染み渡る」ということは本当でない」モンスターはいる;
$facts$ = fact1: もしもこのぴねぴちょLv.25が染み渡るとしたらこのまちょまにLv.71は概観出来る fact2: もしも「あのぷよぷにLv.13は御高い」ということは事実だとしたらあのぷよぷにLv.13は構え易い fact3: もしあのぷよぷにLv.13は構え易くないが概観出来るなら「このまちょまにLv.71は概観出来ない」ということは成り立つ fact4: もし「とあるモンスターは概観出来ないが御高い」ということは成り立つということはないならば概観出来る fact5: 「このぴねぴちょLv.25は相互交流しないがしかし染み渡る」ということは間違っている fact6: もし仮に「あのぷよぷにLv.13は構え易い」ということは真実であるならこのぴねぴちょLv.25は染み渡る fact7: 仮に「とあるモンスターは放送するが結合し易くない」ということは間違っていれば構え易くない fact8: あのぷよぷにLv.13は御高い fact9: あるモンスターは染み渡らないなら「それは概観出来なくて御高い」ということは成り立たない ; $hypothesis$ = このまちょまにLv.71は概観出来る ; $proof$ = 
fact2 & fact8 -> int1: あのぷよぷにLv.13は構え易い; int1 & fact6 -> int2: このぴねぴちょLv.25は染み渡る; int2 & fact1 -> hypothesis; __PROVED__
fact2 & fact8 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__