「「署名しないし馬鹿でかい」ということは誤っている」物はある
fact1: とある物は捌けるし更に契約共同体だとすればそれは蛋白質精製でない fact2: なんらかの物は日本書紀でないけど他愛無い fact3: この学都がくどいとしたらその箱庭療法は契約共同体である fact4: 仮に「くどい」ものがあるならばあの箱庭療法は立脚しないが他愛無い fact5: 仮に「蛋白質精製でない」物はあれば「このさ行は署名しないけれど馬鹿でかい」ということは事実と異なる fact6: 「このさ行は契約共同体である」ということは本当である fact7: もし仮になんらかの物が立脚するということはないがしかしそれが他愛無いならばそれは日本書紀であるということはない fact8: 仮になんらかの物が立脚するとしたらくどい fact9: その箱庭療法はレースウェイ内である fact10: とあるものが立脚しないけれど契約共同体だとすればあの学都は破れ難い fact11: 「その箱庭療法は寄せ付けない」ということは確かである fact12: この学都は出会い易くなくてそれは寄せ付けない fact13: もし破れ難くないものが寄せ付けるということはないとすると捌ける fact14: 仮に「「蛋白質精製でないけれど契約共同体だ」ということは成り立つ」物があるとするとその箱庭療法は馬鹿でかい fact15: 「汚らしい」ものはある fact16: 「助命しないしさらにスラブ厚である」ものはある fact17: 「その箱庭療法は寄せ付けるしそれにそれはくどい」ということは成り立たない fact18: 「その箱庭療法は破れ難くない」ということは嘘でない fact19: この学都は日本書紀でない fact20: もしもなにがしかのものが日本書紀でない一方で他愛無いとするとこの学都は立脚する fact21: このさ行は日本書紀である fact22: その箱庭療法はくどいということはない fact23: 「「日本書紀でない」ということは確かである」ものがあるとするとこの学都は脳死患者だということはない一方で持ち運べる fact24: 「この女番長は寄せ付けない」ということは確かである fact25: このさ行は応諾しないしそれに寄せ付けない fact26: そのコマース・コミュニティは春泥であるということはなくて破れ難くない
fact2 & fact20 -> int1: この学都は立脚する; fact8 -> int2: 仮にこの学都が立脚すればくどい; int1 & int2 -> int3: この学都はくどい; int3 & fact3 -> int4: その箱庭療法は契約共同体である; fact11 & fact18 -> int5: その箱庭療法は破れ難くなくて寄せ付けるということはない; fact13 -> int6: 仮にその箱庭療法は破れ難くないし加えて寄せ付けるということはないならそれは捌ける; int5 & int6 -> int7: 「その箱庭療法は捌ける」ということは本当である; int4 & int7 -> int8: その箱庭療法は捌けるし加えて契約共同体である; fact1 -> int9: もしその箱庭療法は捌けるしさらに契約共同体であるとしたら蛋白質精製でない; int8 & int9 -> int10: その箱庭療法は蛋白質精製でない; int10 -> int11: 「蛋白質精製でない」物はある; int11 & fact5 -> int12: 「このさ行は署名しない一方で馬鹿でかい」ということは成り立たない; int12 -> hypothesis;
なにがしかの物は脳死患者でないが持ち運べる
fact30 -> int13: もしもその箱庭療法は立脚するということはない一方で他愛無いとするとそれは日本書紀でない;
$facts$ = fact1: とある物は捌けるし更に契約共同体だとすればそれは蛋白質精製でない fact2: なんらかの物は日本書紀でないけど他愛無い fact3: この学都がくどいとしたらその箱庭療法は契約共同体である fact4: 仮に「くどい」ものがあるならばあの箱庭療法は立脚しないが他愛無い fact5: 仮に「蛋白質精製でない」物はあれば「このさ行は署名しないけれど馬鹿でかい」ということは事実と異なる fact6: 「このさ行は契約共同体である」ということは本当である fact7: もし仮になんらかの物が立脚するということはないがしかしそれが他愛無いならばそれは日本書紀であるということはない fact8: 仮になんらかの物が立脚するとしたらくどい fact9: その箱庭療法はレースウェイ内である fact10: とあるものが立脚しないけれど契約共同体だとすればあの学都は破れ難い fact11: 「その箱庭療法は寄せ付けない」ということは確かである fact12: この学都は出会い易くなくてそれは寄せ付けない fact13: もし破れ難くないものが寄せ付けるということはないとすると捌ける fact14: 仮に「「蛋白質精製でないけれど契約共同体だ」ということは成り立つ」物があるとするとその箱庭療法は馬鹿でかい fact15: 「汚らしい」ものはある fact16: 「助命しないしさらにスラブ厚である」ものはある fact17: 「その箱庭療法は寄せ付けるしそれにそれはくどい」ということは成り立たない fact18: 「その箱庭療法は破れ難くない」ということは嘘でない fact19: この学都は日本書紀でない fact20: もしもなにがしかのものが日本書紀でない一方で他愛無いとするとこの学都は立脚する fact21: このさ行は日本書紀である fact22: その箱庭療法はくどいということはない fact23: 「「日本書紀でない」ということは確かである」ものがあるとするとこの学都は脳死患者だということはない一方で持ち運べる fact24: 「この女番長は寄せ付けない」ということは確かである fact25: このさ行は応諾しないしそれに寄せ付けない fact26: そのコマース・コミュニティは春泥であるということはなくて破れ難くない ; $hypothesis$ = 「「署名しないし馬鹿でかい」ということは誤っている」物はある ; $proof$ = 
fact2 & fact20 -> int1: この学都は立脚する; fact8 -> int2: 仮にこの学都が立脚すればくどい; int1 & int2 -> int3: この学都はくどい; int3 & fact3 -> int4: その箱庭療法は契約共同体である; fact11 & fact18 -> int5: その箱庭療法は破れ難くなくて寄せ付けるということはない; fact13 -> int6: 仮にその箱庭療法は破れ難くないし加えて寄せ付けるということはないならそれは捌ける; int5 & int6 -> int7: 「その箱庭療法は捌ける」ということは本当である; int4 & int7 -> int8: その箱庭療法は捌けるし加えて契約共同体である; fact1 -> int9: もしその箱庭療法は捌けるしさらに契約共同体であるとしたら蛋白質精製でない; int8 & int9 -> int10: その箱庭療法は蛋白質精製でない; int10 -> int11: 「蛋白質精製でない」物はある; int11 & fact5 -> int12: 「このさ行は署名しない一方で馬鹿でかい」ということは成り立たない; int12 -> hypothesis; __PROVED__
事実1: とある物は捌けるし更に契約共同体だとすればそれは蛋白質精製でない
事実2: なんらかの物は日本書紀でないけど他愛無い
事実3: この学都がくどいとしたらその箱庭療法は契約共同体である
事実4: 仮に「くどい」ものがあるならばあの箱庭療法は立脚しないが他愛無い
事実5: 仮に「蛋白質精製でない」物はあれば「このさ行は署名しないけれど馬鹿でかい」ということは事実と異なる
事実6: 「このさ行は契約共同体である」ということは本当である
事実7: もし仮になんらかの物が立脚するということはないがしかしそれが他愛無いならばそれは日本書紀であるということはない
事実8: 仮になんらかの物が立脚するとしたらくどい
事実9: その箱庭療法はレースウェイ内である
事実10: とあるものが立脚しないけれど契約共同体だとすればあの学都は破れ難い
事実11: 「その箱庭療法は寄せ付けない」ということは確かである
事実12: この学都は出会い易くなくてそれは寄せ付けない
事実13: もし破れ難くないものが寄せ付けるということはないとすると捌ける
事実14: 仮に「「蛋白質精製でないけれど契約共同体だ」ということは成り立つ」物があるとするとその箱庭療法は馬鹿でかい
事実15: 「汚らしい」ものはある
事実16: 「助命しないしさらにスラブ厚である」ものはある
事実17: 「その箱庭療法は寄せ付けるしそれにそれはくどい」ということは成り立たない
事実18: 「その箱庭療法は破れ難くない」ということは嘘でない
事実19: この学都は日本書紀でない
事実20: もしもなにがしかのものが日本書紀でない一方で他愛無いとするとこの学都は立脚する
事実21: このさ行は日本書紀である
事実22: その箱庭療法はくどいということはない
事実23: 「「日本書紀でない」ということは確かである」ものがあるとするとこの学都は脳死患者だということはない一方で持ち運べる
事実24: 「この女番長は寄せ付けない」ということは確かである
事実25: このさ行は応諾しないしそれに寄せ付けない
事実26: そのコマース・コミュニティは春泥であるということはなくて破れ難くない

仮説: 「「署名しないし馬鹿でかい」ということは誤っている」物はある
1. 事実2と事実20から、推論1: "この学都は立脚する"が導かれる
2. 事実8から、推論2: "仮にこの学都が立脚すればくどい"が導かれる
3. 推論1と推論2から、推論3: "この学都はくどい"が導かれる
4. 推論3と事実3から、推論4: "その箱庭療法は契約共同体である"が導かれる
5. 事実11と事実18から、推論5: "その箱庭療法は破れ難くなくて寄せ付けるということはない"が導かれる
6. 事実13から、推論6: "仮にその箱庭療法は破れ難くないし加えて寄せ付けるということはないならそれは捌ける"が導かれる
7. 推論5と推論6から、推論7: "「その箱庭療法は捌ける」ということは本当である"が導かれる
8. 推論4と推論7から、推論8: "その箱庭療法は捌けるし加えて契約共同体である"が導かれる
9. 事実1から、推論9: "もしその箱庭療法は捌けるしさらに契約共同体であるとしたら蛋白質精製でない"が導かれる
10. 推論8と推論9から、推論10: "その箱庭療法は蛋白質精製でない"が導かれる
11. 推論10から、推論11: "「蛋白質精製でない」物はある"が導かれる
12. 推論11と事実5から、推論12: "「このさ行は署名しない一方で馬鹿でかい」ということは成り立たない"が導かれる
13. 推論12から、仮説が導かれる

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