そのまなまゆLv.18は買い叩かない
fact1: もしも「そのぽにゃぽちゅLv.40は買い叩くかまたは総動員する」ということは成り立たないとすればあのぴのぴちゃLv.1は買い叩かない fact2: そのぽにゃぽちゅLv.40ががめついなら調査・分析する fact3: そのぽにゃぽちゅLv.40はがめつい fact4: もし仮に「なんらかのモンスターはがめつかないがしかし調査・分析する」ということは誤りであるとすれば買い叩かない fact5: もしもそのぽにゃぽちゅLv.40が調査・分析すればそのまなまゆLv.18は買い叩く fact6: 仮に「そのぽにゃぽちゅLv.40は買い叩く」ということは成り立つとすると調査・分析する
fact2 & fact3 -> int1: そのぽにゃぽちゅLv.40は調査・分析する; int1 & fact5 -> hypothesis;
fact2 & fact3 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
あのぴのぴちゃLv.1はがめつい
$facts$ = fact1: もしも「そのぽにゃぽちゅLv.40は買い叩くかまたは総動員する」ということは成り立たないとすればあのぴのぴちゃLv.1は買い叩かない fact2: そのぽにゃぽちゅLv.40ががめついなら調査・分析する fact3: そのぽにゃぽちゅLv.40はがめつい fact4: もし仮に「なんらかのモンスターはがめつかないがしかし調査・分析する」ということは誤りであるとすれば買い叩かない fact5: もしもそのぽにゃぽちゅLv.40が調査・分析すればそのまなまゆLv.18は買い叩く fact6: 仮に「そのぽにゃぽちゅLv.40は買い叩く」ということは成り立つとすると調査・分析する ; $hypothesis$ = そのまなまゆLv.18は買い叩かない ; $proof$ = 
fact2 & fact3 -> int1: そのぽにゃぽちゅLv.40は調査・分析する; int1 & fact5 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}{a}; int1 & fact5 -> hypothesis; __DISPROVED__