あのぽちょぽよLv.37は難しいしその上名残惜しい
fact1: あのもいもやLv.58は沸き続ける fact2: もしあるモンスターは沸き続けないとすれば「それは難しくてそれは名残惜しい」ということは成り立たない fact3: あのぽちょぽよLv.37は名残惜しい fact4: 「このぽにゃぽにゅLv.66は丸くない」ということは本当である fact5: 丸くないモンスターは気恥ずかしいということはないならば「それは沸き続けない」ということは真実だ fact6: もしあのもいもやLv.58が気恥ずかしいとするとあのぽちょぽよLv.37は難しい fact7: あのぽちょぽよLv.37は沸き続けるし気恥ずかしい fact8: もし仮にこのぽにゃぽにゅLv.66が丸くないならばあのもいもやLv.58は沸き続けるしかつ気恥ずかしい
fact8 & fact4 -> int1: あのもいもやLv.58は沸き続けるししかも気恥ずかしい; int1 -> int2: あのもいもやLv.58は気恥ずかしい; int2 & fact6 -> int3: あのぽちょぽよLv.37は難しい; int3 & fact3 -> hypothesis;
fact8 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact6 -> int3: {C}{b}; int3 & fact3 -> hypothesis;
「あのぽちょぽよLv.37は難しくて更に名残惜しい」ということは成り立たない
fact10 -> int4: もしあのぽちょぽよLv.37は沸き続けないとすると「あのぽちょぽよLv.37は難しいしおまけにそれは名残惜しい」ということは嘘である; fact9 -> int5: もしもあのぽちょぽよLv.37が丸くないし気恥ずかしいということはないとしたら沸き続けない;
$facts$ = fact1: あのもいもやLv.58は沸き続ける fact2: もしあるモンスターは沸き続けないとすれば「それは難しくてそれは名残惜しい」ということは成り立たない fact3: あのぽちょぽよLv.37は名残惜しい fact4: 「このぽにゃぽにゅLv.66は丸くない」ということは本当である fact5: 丸くないモンスターは気恥ずかしいということはないならば「それは沸き続けない」ということは真実だ fact6: もしあのもいもやLv.58が気恥ずかしいとするとあのぽちょぽよLv.37は難しい fact7: あのぽちょぽよLv.37は沸き続けるし気恥ずかしい fact8: もし仮にこのぽにゃぽにゅLv.66が丸くないならばあのもいもやLv.58は沸き続けるしかつ気恥ずかしい ; $hypothesis$ = あのぽちょぽよLv.37は難しいしその上名残惜しい ; $proof$ = 
fact8 & fact4 -> int1: あのもいもやLv.58は沸き続けるししかも気恥ずかしい; int1 -> int2: あのもいもやLv.58は気恥ずかしい; int2 & fact6 -> int3: あのぽちょぽよLv.37は難しい; int3 & fact3 -> hypothesis; __PROVED__
fact8 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact6 -> int3: {C}{b}; int3 & fact3 -> hypothesis; __PROVED__