「あの家集編纂作業は怪しいし腫れぼったい」ということは間違いである
fact1: もし「ある物は書かない」ということは真実ならそれは腫れぼったくてかつそれはきつい fact2: 「広がり易い」物はあるなら「あの家集編纂作業は礼儀正しいスプレッドシートである」ということは成り立たない fact3: もしあの家集編纂作業は無しないし加えてはにかまないとするとそれは書かない fact4: 「あの家集編纂作業は普通学校であるし怪しい」ということは誤っている fact5: もしも「沸かす」物はあるなら「あの家集編纂作業は腫れぼったいししかも収去す」ということは誤っている fact6: とあるものは腫れぼったい fact7: 「あの家集編纂作業は外し出すし怪しい」ということは偽である fact8: もし「「睨み返さない」ということは事実でない」物はあれば「その編み方は怪しいし悪い」ということは真実でない fact9: もしとある物はスプレッドシートであるならばそれは怪しい fact10: この胚性幹細胞は糸目でなくて上げ易いということはない fact11: 「あの家集編纂作業は恨めしいし酷い」ということは成り立たない fact12: もし仮にとある物はスプレッドシートだとすれば「あの家集編纂作業は怪しいししかもそれは腫れぼったい」ということは本当でない fact13: 「なにがしかの物は糸目でない」ということは誤っていないとしたらそれは女流作家であるかまたはスプレッドシートであるかどちらもである fact14: 「スプレッドシートである」物はある fact15: 「「怪しい」ということは正しい」ものはあれば「あのオンラインショップはうら若ししおまけに勝手放題である」ということは正しくない fact16: もし仮にこの胚性幹細胞がスプレッドシートだとするとあの家集編纂作業はスプレッドシートである
fact14 & fact12 -> hypothesis;
fact14 & fact12 -> hypothesis;
あの家集編纂作業は怪しくてさらに腫れぼったい
fact21 -> int1: もしあの家集編纂作業がスプレッドシートだとすれば怪しい; fact22 -> int2: もし仮にこの胚性幹細胞は糸目でないならばそれは女流作家であるかまたはスプレッドシートであるかまたは両方である; fact17 -> int3: この胚性幹細胞は糸目でない; int2 & int3 -> int4: この胚性幹細胞は女流作家であるかまたはそれはスプレッドシートであるかまたは両方だ; fact20 -> int5: 仮に「あの家集編纂作業は書かない」ということは真実ならば腫れぼったいしきつい;
$facts$ = fact1: もし「ある物は書かない」ということは真実ならそれは腫れぼったくてかつそれはきつい fact2: 「広がり易い」物はあるなら「あの家集編纂作業は礼儀正しいスプレッドシートである」ということは成り立たない fact3: もしあの家集編纂作業は無しないし加えてはにかまないとするとそれは書かない fact4: 「あの家集編纂作業は普通学校であるし怪しい」ということは誤っている fact5: もしも「沸かす」物はあるなら「あの家集編纂作業は腫れぼったいししかも収去す」ということは誤っている fact6: とあるものは腫れぼったい fact7: 「あの家集編纂作業は外し出すし怪しい」ということは偽である fact8: もし「「睨み返さない」ということは事実でない」物はあれば「その編み方は怪しいし悪い」ということは真実でない fact9: もしとある物はスプレッドシートであるならばそれは怪しい fact10: この胚性幹細胞は糸目でなくて上げ易いということはない fact11: 「あの家集編纂作業は恨めしいし酷い」ということは成り立たない fact12: もし仮にとある物はスプレッドシートだとすれば「あの家集編纂作業は怪しいししかもそれは腫れぼったい」ということは本当でない fact13: 「なにがしかの物は糸目でない」ということは誤っていないとしたらそれは女流作家であるかまたはスプレッドシートであるかどちらもである fact14: 「スプレッドシートである」物はある fact15: 「「怪しい」ということは正しい」ものはあれば「あのオンラインショップはうら若ししおまけに勝手放題である」ということは正しくない fact16: もし仮にこの胚性幹細胞がスプレッドシートだとするとあの家集編纂作業はスプレッドシートである ; $hypothesis$ = 「あの家集編纂作業は怪しいし腫れぼったい」ということは間違いである ; $proof$ = 
fact14 & fact12 -> hypothesis; __PROVED__
事実1: もし「ある物は書かない」ということは真実ならそれは腫れぼったくてかつそれはきつい
事実2: 「広がり易い」物はあるなら「あの家集編纂作業は礼儀正しいスプレッドシートである」ということは成り立たない
事実3: もしあの家集編纂作業は無しないし加えてはにかまないとするとそれは書かない
事実4: 「あの家集編纂作業は普通学校であるし怪しい」ということは誤っている
事実5: もしも「沸かす」物はあるなら「あの家集編纂作業は腫れぼったいししかも収去す」ということは誤っている
事実6: とあるものは腫れぼったい
事実7: 「あの家集編纂作業は外し出すし怪しい」ということは偽である
事実8: もし「「睨み返さない」ということは事実でない」物はあれば「その編み方は怪しいし悪い」ということは真実でない
事実9: もしとある物はスプレッドシートであるならばそれは怪しい
事実10: この胚性幹細胞は糸目でなくて上げ易いということはない
事実11: 「あの家集編纂作業は恨めしいし酷い」ということは成り立たない
事実12: もし仮にとある物はスプレッドシートだとすれば「あの家集編纂作業は怪しいししかもそれは腫れぼったい」ということは本当でない
事実13: 「なにがしかの物は糸目でない」ということは誤っていないとしたらそれは女流作家であるかまたはスプレッドシートであるかどちらもである
事実14: 「スプレッドシートである」物はある
事実15: 「「怪しい」ということは正しい」ものはあれば「あのオンラインショップはうら若ししおまけに勝手放題である」ということは正しくない
事実16: もし仮にこの胚性幹細胞がスプレッドシートだとするとあの家集編纂作業はスプレッドシートである

仮説: 「あの家集編纂作業は怪しいし腫れぼったい」ということは間違いである
1. 事実14と事実12から、仮説が導かれる

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