「その抗ヒスタミン薬は頑是無い」ということは正しい
fact1: もしあの中心部が救い難くないならその抗ヒスタミン薬は砕け易くないけれどデフォルメする fact2: 仮に「あの中心部はど偉くないかまたは凹むかあるいは両方だ」ということは成り立たないならあの三〜四箇月頃は救い難くない fact3: 「「あの三〜四箇月頃は凹まないかど偉いということはない」ということは事実だ」ということは正しくないとしたら「あの中心部は救い難いということはない」ということは事実である fact4: もしあの中心部が救い難くないならその抗ヒスタミン薬は砕け易くない fact5: もし「称賛すということはない」物はあるなら「あの三〜四箇月頃は凹まないかあるいはど偉くないかもしくは両方だ」ということは間違っている fact6: 「あの三〜四箇月頃はど偉い」ということは誤りでない fact7: 「その抗ヒスタミン薬は砕け易くない」ということは確かである fact8: もしもなんらかのものが砕け易いならデフォルメする fact9: 「称賛すらない」ものはある fact10: 何らかのものは称賛す fact11: 何かはデフォルメすれば頑是無い fact12: その抗ヒスタミン薬は救い難くない
fact9 & fact5 -> int1: 「「あの三〜四箇月頃は凹まないかあるいはど偉くない」ということは成り立たない」ということは本当である; int1 & fact3 -> int2: 「あの中心部は救い難いということはない」ということは事実だ; int2 & fact1 -> int3: その抗ヒスタミン薬は砕け易いということはない一方でデフォルメする; int3 -> int4: その抗ヒスタミン薬はデフォルメする; fact11 -> int5: もしもその抗ヒスタミン薬はデフォルメするとすると「頑是無い」ということは事実である; int4 & int5 -> hypothesis;
$facts$ = fact1: もしあの中心部が救い難くないならその抗ヒスタミン薬は砕け易くないけれどデフォルメする fact2: 仮に「あの中心部はど偉くないかまたは凹むかあるいは両方だ」ということは成り立たないならあの三〜四箇月頃は救い難くない fact3: 「「あの三〜四箇月頃は凹まないかど偉いということはない」ということは事実だ」ということは正しくないとしたら「あの中心部は救い難いということはない」ということは事実である fact4: もしあの中心部が救い難くないならその抗ヒスタミン薬は砕け易くない fact5: もし「称賛すということはない」物はあるなら「あの三〜四箇月頃は凹まないかあるいはど偉くないかもしくは両方だ」ということは間違っている fact6: 「あの三〜四箇月頃はど偉い」ということは誤りでない fact7: 「その抗ヒスタミン薬は砕け易くない」ということは確かである fact8: もしもなんらかのものが砕け易いならデフォルメする fact9: 「称賛すらない」ものはある fact10: 何らかのものは称賛す fact11: 何かはデフォルメすれば頑是無い fact12: その抗ヒスタミン薬は救い難くない ; $hypothesis$ = 「その抗ヒスタミン薬は頑是無い」ということは正しい ; $proof$ = 
fact9 & fact5 -> int1: 「「あの三〜四箇月頃は凹まないかあるいはど偉くない」ということは成り立たない」ということは本当である; int1 & fact3 -> int2: 「あの中心部は救い難いということはない」ということは事実だ; int2 & fact1 -> int3: その抗ヒスタミン薬は砕け易いということはない一方でデフォルメする; int3 -> int4: その抗ヒスタミン薬はデフォルメする; fact11 -> int5: もしもその抗ヒスタミン薬はデフォルメするとすると「頑是無い」ということは事実である; int4 & int5 -> hypothesis; __PROVED__
事実1: もしあの中心部が救い難くないならその抗ヒスタミン薬は砕け易くないけれどデフォルメする
事実2: 仮に「あの中心部はど偉くないかまたは凹むかあるいは両方だ」ということは成り立たないならあの三〜四箇月頃は救い難くない
事実3: 「「あの三〜四箇月頃は凹まないかど偉いということはない」ということは事実だ」ということは正しくないとしたら「あの中心部は救い難いということはない」ということは事実である
事実4: もしあの中心部が救い難くないならその抗ヒスタミン薬は砕け易くない
事実5: もし「称賛すということはない」物はあるなら「あの三〜四箇月頃は凹まないかあるいはど偉くないかもしくは両方だ」ということは間違っている
事実6: 「あの三〜四箇月頃はど偉い」ということは誤りでない
事実7: 「その抗ヒスタミン薬は砕け易くない」ということは確かである
事実8: もしもなんらかのものが砕け易いならデフォルメする
事実9: 「称賛すらない」ものはある
事実10: 何らかのものは称賛す
事実11: 何かはデフォルメすれば頑是無い
事実12: その抗ヒスタミン薬は救い難くない

仮説: 「その抗ヒスタミン薬は頑是無い」ということは正しい
1. 事実9と事実5から、推論1: "「「あの三〜四箇月頃は凹まないかあるいはど偉くない」ということは成り立たない」ということは本当である"が導かれる
2. 推論1と事実3から、推論2: "「あの中心部は救い難いということはない」ということは事実だ"が導かれる
3. 推論2と事実1から、推論3: "その抗ヒスタミン薬は砕け易いということはない一方でデフォルメする"が導かれる
4. 推論3から、推論4: "その抗ヒスタミン薬はデフォルメする"が導かれる
5. 事実11から、推論5: "もしもその抗ヒスタミン薬はデフォルメするとすると「頑是無い」ということは事実である"が導かれる
6. 推論4と推論5から、仮説が導かれる

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