あのまにょまくLv.71は疲労し易くない
fact1: あのまなまにLv.88は延期する fact2: このもちょもわLv.4は疲労し易い fact3: もしもなんらかのモンスターが疲労し易くてさらに嵌めればあのまなまにLv.88は延期するということはない fact4: 仮になんらかのモンスターが延期するししかも嵌めるとすればあのまにょまくLv.71は疲労し易くない fact5: あのまなまにLv.88は嵌める fact6: 「なんらかのモンスターは疲労し易い」ということは本当だ
fact1 & fact5 -> int1: あのまなまにLv.88は延期するしそれは嵌める; int1 -> int2: 「延期するしその上嵌める」モンスターはいる; int2 & fact4 -> hypothesis;
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact4 -> hypothesis;
$facts$ = fact1: あのまなまにLv.88は延期する fact2: このもちょもわLv.4は疲労し易い fact3: もしもなんらかのモンスターが疲労し易くてさらに嵌めればあのまなまにLv.88は延期するということはない fact4: 仮になんらかのモンスターが延期するししかも嵌めるとすればあのまにょまくLv.71は疲労し易くない fact5: あのまなまにLv.88は嵌める fact6: 「なんらかのモンスターは疲労し易い」ということは本当だ ; $hypothesis$ = あのまにょまくLv.71は疲労し易くない ; $proof$ = 
fact1 & fact5 -> int1: あのまなまにLv.88は延期するしそれは嵌める; int1 -> int2: 「延期するしその上嵌める」モンスターはいる; int2 & fact4 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact4 -> hypothesis; __PROVED__