「あの真ん前は嵌め嵌めしない」ということは確かである
fact1: あの真ん前は命令書でないがしかし吊るす fact2: 仮にあの真ん前が命令書でないがしかし吊るすとすればそれは嵌め嵌めしない fact3: その人的分割は顔立ちである fact4: そのハイキング・コースは登記出来ない一方で命令書だ fact5: その死文は嵌め嵌めしない fact6: 「顔立ちは指定医だ」ということは確かだ fact7: あの真ん前は命令書だということはない一方で敬愛すとすると分かり辛くない fact8: もしも指定医が授業するとするとそれは労相でない fact9: もし「あの売り上げ履歴は調査会社でないかまたはそれは感じ取れる」ということは成り立たないならばあの真ん前は嵌め嵌めする fact10: あの真ん前がむず痒いしまた集計関数ならば見え辛くない fact11: もし仮になにがしかのものが労相でないとすると逞しくないしまたプレビュー出来る fact12: あるものは覚え難いならば「それは調査会社でないかまたは感じ取れるかあるいは両方だ」ということは成り立たない fact13: その人的分割はプレビュー出来るとしたら「あの売り上げ履歴は覚え難い」ということは確かだ fact14: もしあの真ん前は命令書でまた吊るすとすると「嵌め嵌めするということはない」ということは成り立つ
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
あの真ん前は嵌め嵌めする
fact16 -> int1: 「あの売り上げ履歴は覚え難いとすると「あの売り上げ履歴は調査会社でないかもしくは感じ取れる」ということは誤っている」ということは確かである; fact19 -> int2: 仮に「その人的分割は労相でない」ということは成り立つとすれば逞しくない一方でプレビュー出来る; fact15 -> int3: もしもその人的分割が指定医だし授業するとすると労相でない; fact21 -> int4: 「その人的分割が顔立ちであるとするとその人的分割は指定医である」ということは誤りでない; int4 & fact20 -> int5: その人的分割は指定医だ;
$facts$ = fact1: あの真ん前は命令書でないがしかし吊るす fact2: 仮にあの真ん前が命令書でないがしかし吊るすとすればそれは嵌め嵌めしない fact3: その人的分割は顔立ちである fact4: そのハイキング・コースは登記出来ない一方で命令書だ fact5: その死文は嵌め嵌めしない fact6: 「顔立ちは指定医だ」ということは確かだ fact7: あの真ん前は命令書だということはない一方で敬愛すとすると分かり辛くない fact8: もしも指定医が授業するとするとそれは労相でない fact9: もし「あの売り上げ履歴は調査会社でないかまたはそれは感じ取れる」ということは成り立たないならばあの真ん前は嵌め嵌めする fact10: あの真ん前がむず痒いしまた集計関数ならば見え辛くない fact11: もし仮になにがしかのものが労相でないとすると逞しくないしまたプレビュー出来る fact12: あるものは覚え難いならば「それは調査会社でないかまたは感じ取れるかあるいは両方だ」ということは成り立たない fact13: その人的分割はプレビュー出来るとしたら「あの売り上げ履歴は覚え難い」ということは確かだ fact14: もしあの真ん前は命令書でまた吊るすとすると「嵌め嵌めするということはない」ということは成り立つ ; $hypothesis$ = 「あの真ん前は嵌め嵌めしない」ということは確かである ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: あの真ん前は命令書でないがしかし吊るす
事実2: 仮にあの真ん前が命令書でないがしかし吊るすとすればそれは嵌め嵌めしない
事実3: その人的分割は顔立ちである
事実4: そのハイキング・コースは登記出来ない一方で命令書だ
事実5: その死文は嵌め嵌めしない
事実6: 「顔立ちは指定医だ」ということは確かだ
事実7: あの真ん前は命令書だということはない一方で敬愛すとすると分かり辛くない
事実8: もしも指定医が授業するとするとそれは労相でない
事実9: もし「あの売り上げ履歴は調査会社でないかまたはそれは感じ取れる」ということは成り立たないならばあの真ん前は嵌め嵌めする
事実10: あの真ん前がむず痒いしまた集計関数ならば見え辛くない
事実11: もし仮になにがしかのものが労相でないとすると逞しくないしまたプレビュー出来る
事実12: あるものは覚え難いならば「それは調査会社でないかまたは感じ取れるかあるいは両方だ」ということは成り立たない
事実13: その人的分割はプレビュー出来るとしたら「あの売り上げ履歴は覚え難い」ということは確かだ
事実14: もしあの真ん前は命令書でまた吊るすとすると「嵌め嵌めするということはない」ということは成り立つ

仮説: 「あの真ん前は嵌め嵌めしない」ということは確かである
1. 事実2と事実1から、仮説が導かれる

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