「「立て難くて更に淀み無い」ということは成り立たない」ものはある
fact1: 「とある物はちょろい」ということは確かだ fact2: 仮に立て難くないものはあれば「あのクエリプロパティは淀み無くて加えてちょろい」ということは事実と異なる fact3: もし仮にある物は立て難くないなら「「この各事業段階はちょろいし淀み無い」ということは事実と異なる」ということは正しい fact4: 仮に「ちょろくない」物はあれば「あのクエリプロパティは立て難くてそれは淀み無い」ということは成り立たない fact5: 「拙いということはない」物はある fact6: 「「近付き難くて勉強出来る」ということは偽である」物はある fact7: 「運悪いということはない」物はある fact8: 仮になんらかの物はちょろくないとすると「興奮するし疚しい」ということは成り立たない fact9: あのクエリプロパティが淀み無くないとするとちょろいということはないし加えてそれは立て難い fact10: この各事業段階はちょろくない fact11: 「立て難くない」物はあれば「この各事業段階は淀み無くてそれにそれはちょろい」ということは成り立たない fact12: 「立て難いし淀み無い」ものはある fact13: 「百七十一号線でない」物はある fact14: 「あのクエリプロパティは掃除出来るしちょろい」ということは偽である
fact10 -> int1: 「ちょろくない」ものはある; int1 & fact4 -> int2: 「あのクエリプロパティは立て難くてそれは淀み無い」ということは誤りだ; int2 -> hypothesis;
fact10 -> int1: (Ex): ¬{A}x; int1 & fact4 -> int2: ¬({B}{a} & {C}{a}); int2 -> hypothesis;
「「興奮するし疚しい」ということは成り立つということはない」物はある
fact16 -> int3: もし仮にあのクエリプロパティはちょろくないとしたら「それは興奮するしさらにそれは疚しい」ということは偽だ;
$facts$ = fact1: 「とある物はちょろい」ということは確かだ fact2: 仮に立て難くないものはあれば「あのクエリプロパティは淀み無くて加えてちょろい」ということは事実と異なる fact3: もし仮にある物は立て難くないなら「「この各事業段階はちょろいし淀み無い」ということは事実と異なる」ということは正しい fact4: 仮に「ちょろくない」物はあれば「あのクエリプロパティは立て難くてそれは淀み無い」ということは成り立たない fact5: 「拙いということはない」物はある fact6: 「「近付き難くて勉強出来る」ということは偽である」物はある fact7: 「運悪いということはない」物はある fact8: 仮になんらかの物はちょろくないとすると「興奮するし疚しい」ということは成り立たない fact9: あのクエリプロパティが淀み無くないとするとちょろいということはないし加えてそれは立て難い fact10: この各事業段階はちょろくない fact11: 「立て難くない」物はあれば「この各事業段階は淀み無くてそれにそれはちょろい」ということは成り立たない fact12: 「立て難いし淀み無い」ものはある fact13: 「百七十一号線でない」物はある fact14: 「あのクエリプロパティは掃除出来るしちょろい」ということは偽である ; $hypothesis$ = 「「立て難くて更に淀み無い」ということは成り立たない」ものはある ; $proof$ = 
fact10 -> int1: 「ちょろくない」ものはある; int1 & fact4 -> int2: 「あのクエリプロパティは立て難くてそれは淀み無い」ということは誤りだ; int2 -> hypothesis; __PROVED__
事実1: 「とある物はちょろい」ということは確かだ
事実2: 仮に立て難くないものはあれば「あのクエリプロパティは淀み無くて加えてちょろい」ということは事実と異なる
事実3: もし仮にある物は立て難くないなら「「この各事業段階はちょろいし淀み無い」ということは事実と異なる」ということは正しい
事実4: 仮に「ちょろくない」物はあれば「あのクエリプロパティは立て難くてそれは淀み無い」ということは成り立たない
事実5: 「拙いということはない」物はある
事実6: 「「近付き難くて勉強出来る」ということは偽である」物はある
事実7: 「運悪いということはない」物はある
事実8: 仮になんらかの物はちょろくないとすると「興奮するし疚しい」ということは成り立たない
事実9: あのクエリプロパティが淀み無くないとするとちょろいということはないし加えてそれは立て難い
事実10: この各事業段階はちょろくない
事実11: 「立て難くない」物はあれば「この各事業段階は淀み無くてそれにそれはちょろい」ということは成り立たない
事実12: 「立て難いし淀み無い」ものはある
事実13: 「百七十一号線でない」物はある
事実14: 「あのクエリプロパティは掃除出来るしちょろい」ということは偽である

仮説: 「「立て難くて更に淀み無い」ということは成り立たない」ものはある
1. 事実10から、推論1: "「ちょろくない」ものはある"が導かれる
2. 推論1と事実4から、推論2: "「あのクエリプロパティは立て難くてそれは淀み無い」ということは誤りだ"が導かれる
3. 推論2から、仮説が導かれる

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