その楽式は怒りっぽいかまたは新薬でないかまたは両方ともだ
fact1: もしその未感染者が意地悪いとするとその二人称は野菜果物ジュースである fact2: その未感染者は意地悪い fact3: もし何らかの物が意地悪いということはないとしたら通り掛かるかあるいは黄色っぽくないかもしくは両方ともである fact4: もしもその二人称が怒りっぽいならその楽式は怒りっぽいかもしくは新薬でない fact5: その未感染者は新薬だ fact6: 仮にあるものは意地悪いとすれば「怒りっぽいかあるいは新薬でない」ということは間違いだ fact7: もし仮にその二人称が怒りっぽいとしたらその楽式は怒りっぽいかもしくは新薬だ fact8: 野菜果物ジュースは怒りっぽい fact9: その楽式は怒りっぽいか新薬であるかあるいはどちらもである
fact1 & fact2 -> int1: その二人称は野菜果物ジュースだ; fact8 -> int2: 仮にその二人称は野菜果物ジュースであるなら怒りっぽい; int1 & int2 -> int3: その二人称は怒りっぽい; int3 & fact4 -> hypothesis;
この多忙さは通り掛かるかまたはそれは黄色っぽくないか両方ともである
fact10 -> int4: この多忙さが意地悪くないとすればそれは通り掛かるか黄色っぽくない;
$facts$ = fact1: もしその未感染者が意地悪いとするとその二人称は野菜果物ジュースである fact2: その未感染者は意地悪い fact3: もし何らかの物が意地悪いということはないとしたら通り掛かるかあるいは黄色っぽくないかもしくは両方ともである fact4: もしもその二人称が怒りっぽいならその楽式は怒りっぽいかもしくは新薬でない fact5: その未感染者は新薬だ fact6: 仮にあるものは意地悪いとすれば「怒りっぽいかあるいは新薬でない」ということは間違いだ fact7: もし仮にその二人称が怒りっぽいとしたらその楽式は怒りっぽいかもしくは新薬だ fact8: 野菜果物ジュースは怒りっぽい fact9: その楽式は怒りっぽいか新薬であるかあるいはどちらもである ; $hypothesis$ = その楽式は怒りっぽいかまたは新薬でないかまたは両方ともだ ; $proof$ = 
fact1 & fact2 -> int1: その二人称は野菜果物ジュースだ; fact8 -> int2: 仮にその二人称は野菜果物ジュースであるなら怒りっぽい; int1 & int2 -> int3: その二人称は怒りっぽい; int3 & fact4 -> hypothesis; __PROVED__
事実1: もしその未感染者が意地悪いとするとその二人称は野菜果物ジュースである
事実2: その未感染者は意地悪い
事実3: もし何らかの物が意地悪いということはないとしたら通り掛かるかあるいは黄色っぽくないかもしくは両方ともである
事実4: もしもその二人称が怒りっぽいならその楽式は怒りっぽいかもしくは新薬でない
事実5: その未感染者は新薬だ
事実6: 仮にあるものは意地悪いとすれば「怒りっぽいかあるいは新薬でない」ということは間違いだ
事実7: もし仮にその二人称が怒りっぽいとしたらその楽式は怒りっぽいかもしくは新薬だ
事実8: 野菜果物ジュースは怒りっぽい
事実9: その楽式は怒りっぽいか新薬であるかあるいはどちらもである

仮説: その楽式は怒りっぽいかまたは新薬でないかまたは両方ともだ
1. 事実1と事実2から、推論1: "その二人称は野菜果物ジュースだ"が導かれる
2. 事実8から、推論2: "仮にその二人称は野菜果物ジュースであるなら怒りっぽい"が導かれる
3. 推論1と推論2から、推論3: "その二人称は怒りっぽい"が導かれる
4. 推論3と事実4から、仮説が導かれる

よって、仮説が証明されました。