「「もし固しないけどノブちゃんであるとすれば「動物モデルである」ということは確かな」物はある」ということは間違いである
fact1: このエンダイブは動物モデルでないけど伝え難いとしたらそれは移り易い fact2: 仮にあの大鉄塔が見物するししかもそれが依り頼むとしたら百姓らしい fact3: 「仮に打ち尽くすし加えて抄本であるとすれば灰白色な」物はある fact4: 「仮に固ししまたノブちゃんであるとすれば動物モデルである」ものはある fact5: 「和むし不案内であるとすれば出血し易い」ものはある fact6: 「もしも見物するし狭しなら姉らしい」物はある fact7: 固しない物がノブちゃんならばそれは動物モデルだ fact8: 「このエンダイブが小賢しいしその上それが薬物療法だとしたらこのエンダイブは打ち尽くす」ということは成り立つ
fact7 -> int1: もしもこのエンダイブが固しない一方でそれはノブちゃんであるとしたらそれは動物モデルだ; int1 -> hypothesis;
$facts$ = fact1: このエンダイブは動物モデルでないけど伝え難いとしたらそれは移り易い fact2: 仮にあの大鉄塔が見物するししかもそれが依り頼むとしたら百姓らしい fact3: 「仮に打ち尽くすし加えて抄本であるとすれば灰白色な」物はある fact4: 「仮に固ししまたノブちゃんであるとすれば動物モデルである」ものはある fact5: 「和むし不案内であるとすれば出血し易い」ものはある fact6: 「もしも見物するし狭しなら姉らしい」物はある fact7: 固しない物がノブちゃんならばそれは動物モデルだ fact8: 「このエンダイブが小賢しいしその上それが薬物療法だとしたらこのエンダイブは打ち尽くす」ということは成り立つ ; $hypothesis$ = 「「もし固しないけどノブちゃんであるとすれば「動物モデルである」ということは確かな」物はある」ということは間違いである ; $proof$ = 
fact7 -> int1: もしもこのエンダイブが固しない一方でそれはノブちゃんであるとしたらそれは動物モデルだ; int1 -> hypothesis; __DISPROVED__
事実1: このエンダイブは動物モデルでないけど伝え難いとしたらそれは移り易い
事実2: 仮にあの大鉄塔が見物するししかもそれが依り頼むとしたら百姓らしい
事実3: 「仮に打ち尽くすし加えて抄本であるとすれば灰白色な」物はある
事実4: 「仮に固ししまたノブちゃんであるとすれば動物モデルである」ものはある
事実5: 「和むし不案内であるとすれば出血し易い」ものはある
事実6: 「もしも見物するし狭しなら姉らしい」物はある
事実7: 固しない物がノブちゃんならばそれは動物モデルだ
事実8: 「このエンダイブが小賢しいしその上それが薬物療法だとしたらこのエンダイブは打ち尽くす」ということは成り立つ

仮説: 「「もし固しないけどノブちゃんであるとすれば「動物モデルである」ということは確かな」物はある」ということは間違いである
1. 事実7から、推論1: "もしもこのエンダイブが固しない一方でそれはノブちゃんであるとしたらそれは動物モデルだ"が導かれる
2. 推論1から、仮説が否定される

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