「「その波形整形回路は礼しないかまたはそれはボーダー布だ」ということは成り立つということはない」ということは真実である
fact1: その波形整形回路は関連付けする fact2: すべてはむさくるしい fact3: もし仮にこの規範性がボーダー布でないならばその波形整形回路は礼する fact4: もしもその波形整形回路は熟し切るとすると「それは調和し難いしむさくるしいということはない」ということは本当でない fact5: もしむさくるしいものが熟し切らないとしたら礼する fact6: その波形整形回路は礼する fact7: この規範性は調和し難くない fact8: 「あの同級は調和し難くない」ということは真実だ fact9: もしもこの規範性は礼しないとすれば「その波形整形回路はボーダー布だということはない」ということは成り立つ fact10: 仮にこの規範性が代用水でないが一休みするとするとあの同級は一休みしない fact11: その最終目的は調和し難いということはない fact12: 仮にこの規範性はボーダー布だということはないなら「その波形整形回路は礼しないかもしくはそれはボーダー布であるかあるいは両方だ」ということは間違っている fact13: 仮にあの同級が調和し難くないとすればあの規範性はボーダー布であるということはない fact14: この規範性は寄せる fact15: 「どれもこれもは熟し切らない」ということは真実だ fact16: あの同級が礼しないとするとその波形整形回路は調和し難くない fact17: もし「あの同級は一休みしない」ということは成り立つとすればあの波形整形回路は熟し切るしそれはナイロンロープだ
fact13 & fact8 -> int1: この規範性はボーダー布でない; int1 & fact12 -> hypothesis;
この寄り付きはボーダー布であるということはない
fact20 -> int2: あの同級は熟し切らない; fact19 -> int3: あの同級はむさくるしい; int2 & int3 -> int4: あの同級はむさくるしい一方でそれは熟し切らない; fact18 -> int5: 仮に「あの同級はむさくるしいけれど熟し切らない」ということは誤っていないとするとそれは礼する; int4 & int5 -> int6: あの同級は礼する;
$facts$ = fact1: その波形整形回路は関連付けする fact2: すべてはむさくるしい fact3: もし仮にこの規範性がボーダー布でないならばその波形整形回路は礼する fact4: もしもその波形整形回路は熟し切るとすると「それは調和し難いしむさくるしいということはない」ということは本当でない fact5: もしむさくるしいものが熟し切らないとしたら礼する fact6: その波形整形回路は礼する fact7: この規範性は調和し難くない fact8: 「あの同級は調和し難くない」ということは真実だ fact9: もしもこの規範性は礼しないとすれば「その波形整形回路はボーダー布だということはない」ということは成り立つ fact10: 仮にこの規範性が代用水でないが一休みするとするとあの同級は一休みしない fact11: その最終目的は調和し難いということはない fact12: 仮にこの規範性はボーダー布だということはないなら「その波形整形回路は礼しないかもしくはそれはボーダー布であるかあるいは両方だ」ということは間違っている fact13: 仮にあの同級が調和し難くないとすればあの規範性はボーダー布であるということはない fact14: この規範性は寄せる fact15: 「どれもこれもは熟し切らない」ということは真実だ fact16: あの同級が礼しないとするとその波形整形回路は調和し難くない fact17: もし「あの同級は一休みしない」ということは成り立つとすればあの波形整形回路は熟し切るしそれはナイロンロープだ ; $hypothesis$ = 「「その波形整形回路は礼しないかまたはそれはボーダー布だ」ということは成り立つということはない」ということは真実である ; $proof$ = 
fact13 & fact8 -> int1: この規範性はボーダー布でない; int1 & fact12 -> hypothesis; __PROVED__
事実1: その波形整形回路は関連付けする
事実2: すべてはむさくるしい
事実3: もし仮にこの規範性がボーダー布でないならばその波形整形回路は礼する
事実4: もしもその波形整形回路は熟し切るとすると「それは調和し難いしむさくるしいということはない」ということは本当でない
事実5: もしむさくるしいものが熟し切らないとしたら礼する
事実6: その波形整形回路は礼する
事実7: この規範性は調和し難くない
事実8: 「あの同級は調和し難くない」ということは真実だ
事実9: もしもこの規範性は礼しないとすれば「その波形整形回路はボーダー布だということはない」ということは成り立つ
事実10: 仮にこの規範性が代用水でないが一休みするとするとあの同級は一休みしない
事実11: その最終目的は調和し難いということはない
事実12: 仮にこの規範性はボーダー布だということはないなら「その波形整形回路は礼しないかもしくはそれはボーダー布であるかあるいは両方だ」ということは間違っている
事実13: 仮にあの同級が調和し難くないとすればあの規範性はボーダー布であるということはない
事実14: この規範性は寄せる
事実15: 「どれもこれもは熟し切らない」ということは真実だ
事実16: あの同級が礼しないとするとその波形整形回路は調和し難くない
事実17: もし「あの同級は一休みしない」ということは成り立つとすればあの波形整形回路は熟し切るしそれはナイロンロープだ

仮説: 「「その波形整形回路は礼しないかまたはそれはボーダー布だ」ということは成り立つということはない」ということは真実である
1. 事実13と事実8から、推論1: "この規範性はボーダー布でない"が導かれる
2. 推論1と事実12から、仮説が導かれる

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