「そのまくまよLv.75は嘆き悲しむしさらに接近する」ということは偽である
fact1: そのまくまよLv.75は囲繞するしそれは近しい fact2: もしもそのまくまよLv.75は囲繞すれば「それは嘆き悲しむ」ということは間違いでない fact3: 仮にあるモンスターは囲繞しないなら「それは嘆き悲しむししかも接近する」ということは成り立つということはない fact4: 「そのまくまよLv.75は接近する」ということは成り立つ
fact1 -> int1: そのまくまよLv.75は囲繞する; int1 & fact2 -> int2: そのまくまよLv.75は嘆き悲しむ; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
「そのまくまよLv.75は嘆き悲しむしさらに接近する」ということは偽である
fact5 -> int3: 仮にそのまくまよLv.75は囲繞しないとすると「それは嘆き悲しむしさらにそれは接近する」ということは誤りである;
$facts$ = fact1: そのまくまよLv.75は囲繞するしそれは近しい fact2: もしもそのまくまよLv.75は囲繞すれば「それは嘆き悲しむ」ということは間違いでない fact3: 仮にあるモンスターは囲繞しないなら「それは嘆き悲しむししかも接近する」ということは成り立つということはない fact4: 「そのまくまよLv.75は接近する」ということは成り立つ ; $hypothesis$ = 「そのまくまよLv.75は嘆き悲しむしさらに接近する」ということは偽である ; $proof$ = 
fact1 -> int1: そのまくまよLv.75は囲繞する; int1 & fact2 -> int2: そのまくまよLv.75は嘆き悲しむ; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __DISPROVED__