「「もし溶け去るけど崩し易くないとすれば鉄筆である」ものはある」ということは真実でない
fact1: 仮にあの拡張選択モードは撫で消す一方で崩し易くないなら「回診である」ということは正しい fact2: もしも跳び蹴りが無声化し易くないとすれば手荒い fact3: もし息苦しい物が泣き腫らさないとするとそれは乗り移る fact4: もし仮にあの生活習慣は旨いが真田家でないならあざとい fact5: もし仮に何かは溶け去る一方で崩し易くないならそれは鉄筆である fact6: もしもあるものが御邪魔するしその上それが熱伝導性だとするとそれは株式買い占めだ fact7: その入院施設はムースリーヌであるしおまけに溶け去るとするとそれはそそっかしい fact8: 仮にそのＢ会社は続き易いがしかし入れでないとすれば「データベース化する」ということは正しい fact9: 「もし三年以降であるしまた信仰深いならば埋まる」物はある fact10: 「その星屎石はあざとい一方で眠たくない」ということは確かであるならばそれは溶け去る fact11: もし仮にそのＢ会社は一線でおまけに鉄筆であるなら「三年以降である」ということは事実だ fact12: 「もし仮に救い出すし伝え易いとすれば悩み抜く」ものはある fact13: そのＢ会社が株式買い占めであるけれど崩し易くないならば御邪魔する fact14: 「もし眠たくて熱伝導性でないとすると大リーガーな」物はある fact15: 「もしも鹿児島本線だしカラー補正だとしたら尋問する」物はある
fact5 -> int1: もしもそのＢ会社が溶け去るけれど崩し易くないとすればそれは鉄筆である; int1 -> hypothesis;
「仮に息苦しいけれど泣き腫らさないとすると乗り移る」物はある
fact16 -> int2: もしこの爆弾虫は息苦しいけれど泣き腫らすということはないならばそれは乗り移る; int2 -> hypothesis;
$facts$ = fact1: 仮にあの拡張選択モードは撫で消す一方で崩し易くないなら「回診である」ということは正しい fact2: もしも跳び蹴りが無声化し易くないとすれば手荒い fact3: もし息苦しい物が泣き腫らさないとするとそれは乗り移る fact4: もし仮にあの生活習慣は旨いが真田家でないならあざとい fact5: もし仮に何かは溶け去る一方で崩し易くないならそれは鉄筆である fact6: もしもあるものが御邪魔するしその上それが熱伝導性だとするとそれは株式買い占めだ fact7: その入院施設はムースリーヌであるしおまけに溶け去るとするとそれはそそっかしい fact8: 仮にそのＢ会社は続き易いがしかし入れでないとすれば「データベース化する」ということは正しい fact9: 「もし三年以降であるしまた信仰深いならば埋まる」物はある fact10: 「その星屎石はあざとい一方で眠たくない」ということは確かであるならばそれは溶け去る fact11: もし仮にそのＢ会社は一線でおまけに鉄筆であるなら「三年以降である」ということは事実だ fact12: 「もし仮に救い出すし伝え易いとすれば悩み抜く」ものはある fact13: そのＢ会社が株式買い占めであるけれど崩し易くないならば御邪魔する fact14: 「もし眠たくて熱伝導性でないとすると大リーガーな」物はある fact15: 「もしも鹿児島本線だしカラー補正だとしたら尋問する」物はある ; $hypothesis$ = 「「もし溶け去るけど崩し易くないとすれば鉄筆である」ものはある」ということは真実でない ; $proof$ = 
fact5 -> int1: もしもそのＢ会社が溶け去るけれど崩し易くないとすればそれは鉄筆である; int1 -> hypothesis; __DISPROVED__
事実1: 仮にあの拡張選択モードは撫で消す一方で崩し易くないなら「回診である」ということは正しい
事実2: もしも跳び蹴りが無声化し易くないとすれば手荒い
事実3: もし息苦しい物が泣き腫らさないとするとそれは乗り移る
事実4: もし仮にあの生活習慣は旨いが真田家でないならあざとい
事実5: もし仮に何かは溶け去る一方で崩し易くないならそれは鉄筆である
事実6: もしもあるものが御邪魔するしその上それが熱伝導性だとするとそれは株式買い占めだ
事実7: その入院施設はムースリーヌであるしおまけに溶け去るとするとそれはそそっかしい
事実8: 仮にそのＢ会社は続き易いがしかし入れでないとすれば「データベース化する」ということは正しい
事実9: 「もし三年以降であるしまた信仰深いならば埋まる」物はある
事実10: 「その星屎石はあざとい一方で眠たくない」ということは確かであるならばそれは溶け去る
事実11: もし仮にそのＢ会社は一線でおまけに鉄筆であるなら「三年以降である」ということは事実だ
事実12: 「もし仮に救い出すし伝え易いとすれば悩み抜く」ものはある
事実13: そのＢ会社が株式買い占めであるけれど崩し易くないならば御邪魔する
事実14: 「もし眠たくて熱伝導性でないとすると大リーガーな」物はある
事実15: 「もしも鹿児島本線だしカラー補正だとしたら尋問する」物はある

仮説: 「「もし溶け去るけど崩し易くないとすれば鉄筆である」ものはある」ということは真実でない
1. 事実5から、推論1: "もしもそのＢ会社が溶け去るけれど崩し易くないとすればそれは鉄筆である"が導かれる
2. 推論1から、仮説が否定される

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