そのウェブキャストは証明するがしかし裏付けしない
fact1: もしその水草は参加し易いならば「そのウェブキャストは証明するしかつ裏付けする」ということは成り立たない fact2: その水草は裏付けする fact3: あの化学作用は裏付けする fact4: もしもあの化学作用は参加し易いとすれば「そのウェブキャストは多し一方で証明しない」ということは成り立たない fact5: もし仮にその水草は参加し易いとすると「そのウェブキャストは証明するが裏付けするということはない」ということは間違っている fact6: もし仮にそのウェブキャストが理想特性だとしたらあの化学作用は証明する fact7: もしもあの化学作用は証明するとしたら「その水草は多しけど参加し易くない」ということは事実でない fact8: 「あの化学作用は多し」ということは確かである fact9: 「そのウェブキャストは証明するしかつ裏付けする」ということは間違いだ fact10: あの化学作用が多しならそれは理想特性である fact11: もしもあの化学作用は証明するなら「そのウェブキャストは裏付けするしそれにそれは多し」ということは誤っている fact12: 仮にあの化学作用は理想特性だとすれば「その水草は参加し易い」ということは成り立つ
fact10 & fact8 -> int1: あの化学作用は理想特性である; int1 & fact12 -> int2: その水草は参加し易い; int2 & fact5 -> hypothesis;
fact10 & fact8 -> int1: {B}{a}; int1 & fact12 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
$facts$ = fact1: もしその水草は参加し易いならば「そのウェブキャストは証明するしかつ裏付けする」ということは成り立たない fact2: その水草は裏付けする fact3: あの化学作用は裏付けする fact4: もしもあの化学作用は参加し易いとすれば「そのウェブキャストは多し一方で証明しない」ということは成り立たない fact5: もし仮にその水草は参加し易いとすると「そのウェブキャストは証明するが裏付けするということはない」ということは間違っている fact6: もし仮にそのウェブキャストが理想特性だとしたらあの化学作用は証明する fact7: もしもあの化学作用は証明するとしたら「その水草は多しけど参加し易くない」ということは事実でない fact8: 「あの化学作用は多し」ということは確かである fact9: 「そのウェブキャストは証明するしかつ裏付けする」ということは間違いだ fact10: あの化学作用が多しならそれは理想特性である fact11: もしもあの化学作用は証明するなら「そのウェブキャストは裏付けするしそれにそれは多し」ということは誤っている fact12: 仮にあの化学作用は理想特性だとすれば「その水草は参加し易い」ということは成り立つ ; $hypothesis$ = そのウェブキャストは証明するがしかし裏付けしない ; $proof$ = 
fact10 & fact8 -> int1: あの化学作用は理想特性である; int1 & fact12 -> int2: その水草は参加し易い; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: もしその水草は参加し易いならば「そのウェブキャストは証明するしかつ裏付けする」ということは成り立たない
事実2: その水草は裏付けする
事実3: あの化学作用は裏付けする
事実4: もしもあの化学作用は参加し易いとすれば「そのウェブキャストは多し一方で証明しない」ということは成り立たない
事実5: もし仮にその水草は参加し易いとすると「そのウェブキャストは証明するが裏付けするということはない」ということは間違っている
事実6: もし仮にそのウェブキャストが理想特性だとしたらあの化学作用は証明する
事実7: もしもあの化学作用は証明するとしたら「その水草は多しけど参加し易くない」ということは事実でない
事実8: 「あの化学作用は多し」ということは確かである
事実9: 「そのウェブキャストは証明するしかつ裏付けする」ということは間違いだ
事実10: あの化学作用が多しならそれは理想特性である
事実11: もしもあの化学作用は証明するなら「そのウェブキャストは裏付けするしそれにそれは多し」ということは誤っている
事実12: 仮にあの化学作用は理想特性だとすれば「その水草は参加し易い」ということは成り立つ

仮説: そのウェブキャストは証明するがしかし裏付けしない
1. 事実10と事実8から、推論1: "あの化学作用は理想特性である"が導かれる
2. 推論1と事実12から、推論2: "その水草は参加し易い"が導かれる
3. 推論2と事実5から、仮説が否定される

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