この内堀は沸騰湯である
fact1: もし仮にその押し切りは底深いかまたは出し易くないとするとそれは左右され易いということはない fact2: もし仮になにがしかの物が四角いということはないかまたはそれが見境無いか両方ならばこのＡ君は駆け付けるということはない fact3: 仮に何かはタイトル音楽でないとしたらそれが天狗らしいしその上読み易い fact4: とある物は駆け付けないとすると「それは常勤するしそれはちまちまする」ということは成り立つということはない fact5: もし仮にその経済・社会システムが林立しないとすると全面改装するしつるつるする fact6: もし「なんらかのものは常勤するしその上ちまちまする」ということは偽であるならばそれはちまちまするということはない fact7: この内堀は男の子らしい fact8: もし仮にある物はくだであるということはないとしたら愛しくて準用する fact9: もしもなにがしかのものは別記様式歳入歳出予算でないとしたらそれはクンパルシータで自負する fact10: もし仮にこの排尿量が沸騰湯でなくてそれが貧乏臭いということはないとすればこの内堀は沸騰湯でない fact11: 仮にこのＡ君がちまちましないとしたらそれは現地入りするということはなくてそれに林立しない fact12: 仮にあるものが林立しないとすればそれが沸騰湯だしそれに男の子らしい fact13: その押し切りは底深いかあるいはそれは出し易くない fact14: 左右され易いということはない物は砕け易くないかまたはつるつるしないかあるいはどちらもである fact15: もしなにがしかのものがビジネス英語でないとしたら健康影響であるしそれは排日運動だ fact16: その二十三Ｃは林立しない fact17: どれもこれもは林立しない fact18: 四角くないかあるいは見境無いものはある fact19: この内堀が林立しないならば男の子らしい fact20: 仮にこの内堀は沸騰湯でないとすると洗い始めるしかつ屈折する fact21: この内堀は当期中だ
fact12 -> int1: もしこの内堀が林立しないならば沸騰湯であるしそれに男の子らしい; fact17 -> int2: この内堀は林立するということはない; int1 & int2 -> int3: この内堀は沸騰湯であるし加えて男の子らしい; int3 -> hypothesis;
fact12 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); fact17 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ({AA}{aa} & {AB}{aa}); int3 -> hypothesis;
この内堀は沸騰湯だということはない
fact30 -> int4: もし仮に「このＡ君は常勤するしちまちまする」ということは成り立つということはないとすればちまちましない; fact27 -> int5: もしこのＡ君は駆け付けるということはないなら「それは常勤するしまたそれはちまちまする」ということは成り立たない; fact29 & fact28 -> int6: このＡ君は駆け付けない; int5 & int6 -> int7: 「「このＡ君は常勤するしちまちまする」ということは成り立たない」ということは確かである; int4 & int7 -> int8: このＡ君はちまちましない; fact23 & int8 -> int9: このＡ君は現地入りしなくてそれは林立しない; int9 -> int10: 「「現地入りしなくて更に林立しない」ということは成り立つ」ものはある; fact26 -> int11: もし仮にその押し切りが左右され易くないとしたら砕け易くないかもしくはつるつるしないかまたは両方ともだ; fact22 & fact24 -> int12: その押し切りは左右され易くない; int11 & int12 -> int13: その押し切りは砕け易くないかあるいはそれはつるつるしないかあるいは両方だ;
$facts$ = fact1: もし仮にその押し切りは底深いかまたは出し易くないとするとそれは左右され易いということはない fact2: もし仮になにがしかの物が四角いということはないかまたはそれが見境無いか両方ならばこのＡ君は駆け付けるということはない fact3: 仮に何かはタイトル音楽でないとしたらそれが天狗らしいしその上読み易い fact4: とある物は駆け付けないとすると「それは常勤するしそれはちまちまする」ということは成り立つということはない fact5: もし仮にその経済・社会システムが林立しないとすると全面改装するしつるつるする fact6: もし「なんらかのものは常勤するしその上ちまちまする」ということは偽であるならばそれはちまちまするということはない fact7: この内堀は男の子らしい fact8: もし仮にある物はくだであるということはないとしたら愛しくて準用する fact9: もしもなにがしかのものは別記様式歳入歳出予算でないとしたらそれはクンパルシータで自負する fact10: もし仮にこの排尿量が沸騰湯でなくてそれが貧乏臭いということはないとすればこの内堀は沸騰湯でない fact11: 仮にこのＡ君がちまちましないとしたらそれは現地入りするということはなくてそれに林立しない fact12: 仮にあるものが林立しないとすればそれが沸騰湯だしそれに男の子らしい fact13: その押し切りは底深いかあるいはそれは出し易くない fact14: 左右され易いということはない物は砕け易くないかまたはつるつるしないかあるいはどちらもである fact15: もしなにがしかのものがビジネス英語でないとしたら健康影響であるしそれは排日運動だ fact16: その二十三Ｃは林立しない fact17: どれもこれもは林立しない fact18: 四角くないかあるいは見境無いものはある fact19: この内堀が林立しないならば男の子らしい fact20: 仮にこの内堀は沸騰湯でないとすると洗い始めるしかつ屈折する fact21: この内堀は当期中だ ; $hypothesis$ = この内堀は沸騰湯である ; $proof$ = 
fact12 -> int1: もしこの内堀が林立しないならば沸騰湯であるしそれに男の子らしい; fact17 -> int2: この内堀は林立するということはない; int1 & int2 -> int3: この内堀は沸騰湯であるし加えて男の子らしい; int3 -> hypothesis; __PROVED__
事実1: もし仮にその押し切りは底深いかまたは出し易くないとするとそれは左右され易いということはない
事実2: もし仮になにがしかの物が四角いということはないかまたはそれが見境無いか両方ならばこのＡ君は駆け付けるということはない
事実3: 仮に何かはタイトル音楽でないとしたらそれが天狗らしいしその上読み易い
事実4: とある物は駆け付けないとすると「それは常勤するしそれはちまちまする」ということは成り立つということはない
事実5: もし仮にその経済・社会システムが林立しないとすると全面改装するしつるつるする
事実6: もし「なんらかのものは常勤するしその上ちまちまする」ということは偽であるならばそれはちまちまするということはない
事実7: この内堀は男の子らしい
事実8: もし仮にある物はくだであるということはないとしたら愛しくて準用する
事実9: もしもなにがしかのものは別記様式歳入歳出予算でないとしたらそれはクンパルシータで自負する
事実10: もし仮にこの排尿量が沸騰湯でなくてそれが貧乏臭いということはないとすればこの内堀は沸騰湯でない
事実11: 仮にこのＡ君がちまちましないとしたらそれは現地入りするということはなくてそれに林立しない
事実12: 仮にあるものが林立しないとすればそれが沸騰湯だしそれに男の子らしい
事実13: その押し切りは底深いかあるいはそれは出し易くない
事実14: 左右され易いということはない物は砕け易くないかまたはつるつるしないかあるいはどちらもである
事実15: もしなにがしかのものがビジネス英語でないとしたら健康影響であるしそれは排日運動だ
事実16: その二十三Ｃは林立しない
事実17: どれもこれもは林立しない
事実18: 四角くないかあるいは見境無いものはある
事実19: この内堀が林立しないならば男の子らしい
事実20: 仮にこの内堀は沸騰湯でないとすると洗い始めるしかつ屈折する
事実21: この内堀は当期中だ

仮説: この内堀は沸騰湯である
1. 事実12から、推論1: "もしこの内堀が林立しないならば沸騰湯であるしそれに男の子らしい"が導かれる
2. 事実17から、推論2: "この内堀は林立するということはない"が導かれる
3. 推論1と推論2から、推論3: "この内堀は沸騰湯であるし加えて男の子らしい"が導かれる
4. 推論3から、仮説が導かれる

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