この馬寮は攻撃し易いということはない
fact1: 「とろいし陥凹する」ものはある fact2: もしこの馬寮がビューティーでないならそのタスクはそうこうするしイニングである fact3: ビューティーは攻撃し易いということはなくてイニングでない fact4: 「「攻撃し易い」ということは本当である」ものはある fact5: 「イニングでないがビューティーな」ものはある fact6: 仮になんらかのものがイニングでないがしかしビューティーであるとしたらこの馬寮は攻撃し易い fact7: そのジュニパーベリーが縦断法だけど攻撃し易くないとするとこの馬寮はビューティーでない
fact5 & fact6 -> hypothesis;
fact5 & fact6 -> hypothesis;
この馬寮は攻撃し易くない
fact8 -> int1: もし仮にこの馬寮はビューティーであるなら攻撃し易くないしイニングだということはない;
$facts$ = fact1: 「とろいし陥凹する」ものはある fact2: もしこの馬寮がビューティーでないならそのタスクはそうこうするしイニングである fact3: ビューティーは攻撃し易いということはなくてイニングでない fact4: 「「攻撃し易い」ということは本当である」ものはある fact5: 「イニングでないがビューティーな」ものはある fact6: 仮になんらかのものがイニングでないがしかしビューティーであるとしたらこの馬寮は攻撃し易い fact7: そのジュニパーベリーが縦断法だけど攻撃し易くないとするとこの馬寮はビューティーでない ; $hypothesis$ = この馬寮は攻撃し易いということはない ; $proof$ = 
fact5 & fact6 -> hypothesis; __DISPROVED__
事実1: 「とろいし陥凹する」ものはある
事実2: もしこの馬寮がビューティーでないならそのタスクはそうこうするしイニングである
事実3: ビューティーは攻撃し易いということはなくてイニングでない
事実4: 「「攻撃し易い」ということは本当である」ものはある
事実5: 「イニングでないがビューティーな」ものはある
事実6: 仮になんらかのものがイニングでないがしかしビューティーであるとしたらこの馬寮は攻撃し易い
事実7: そのジュニパーベリーが縦断法だけど攻撃し易くないとするとこの馬寮はビューティーでない

仮説: この馬寮は攻撃し易いということはない
1. 事実5と事実6から、仮説が否定される

よって、仮説が否定されました。