あの鞍部列は飼料用でない
fact1: 仮にこの会計理論が忠実忠実しかないならあの鞍部列は飼料用でそれは横方向モデルである fact2: あの鞍部列は忠実忠実しい fact3: 仮に何らかのものは横方向モデルでないとするとそれは飼料用でない fact4: もしもこの大学間は解け易いとすれば「それは交差し合うしそれに駆け出さない」ということは確かだ fact5: どれもこれもは渡り為さらない fact6: もし横方向モデルが忠実忠実しいならばあの会計理論は渡り為さる
void -> assump1: 以下のように仮定する。「あの鞍部列は横方向モデルでない」ということは成り立たない; assump1 & fact2 -> int1: あの鞍部列は横方向モデルであるし忠実忠実しい; int1 -> int2: 「横方向モデルであるしその上忠実忠実しい」ものはある; int2 & fact6 -> int3: この会計理論は渡り為さる; fact5 -> int4: この会計理論は渡り為さらない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの鞍部列は横方向モデルでない; fact3 -> int7: もし仮にあの鞍部列が横方向モデルでないとすれば飼料用でない; int6 & int7 -> hypothesis;
「あの鞍部列は飼料用だ」ということは成り立つ
$facts$ = fact1: 仮にこの会計理論が忠実忠実しかないならあの鞍部列は飼料用でそれは横方向モデルである fact2: あの鞍部列は忠実忠実しい fact3: 仮に何らかのものは横方向モデルでないとするとそれは飼料用でない fact4: もしもこの大学間は解け易いとすれば「それは交差し合うしそれに駆け出さない」ということは確かだ fact5: どれもこれもは渡り為さらない fact6: もし横方向モデルが忠実忠実しいならばあの会計理論は渡り為さる ; $hypothesis$ = あの鞍部列は飼料用でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの鞍部列は横方向モデルでない」ということは成り立たない; assump1 & fact2 -> int1: あの鞍部列は横方向モデルであるし忠実忠実しい; int1 -> int2: 「横方向モデルであるしその上忠実忠実しい」ものはある; int2 & fact6 -> int3: この会計理論は渡り為さる; fact5 -> int4: この会計理論は渡り為さらない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの鞍部列は横方向モデルでない; fact3 -> int7: もし仮にあの鞍部列が横方向モデルでないとすれば飼料用でない; int6 & int7 -> hypothesis; __PROVED__
事実1: 仮にこの会計理論が忠実忠実しかないならあの鞍部列は飼料用でそれは横方向モデルである
事実2: あの鞍部列は忠実忠実しい
事実3: 仮に何らかのものは横方向モデルでないとするとそれは飼料用でない
事実4: もしもこの大学間は解け易いとすれば「それは交差し合うしそれに駆け出さない」ということは確かだ
事実5: どれもこれもは渡り為さらない
事実6: もし横方向モデルが忠実忠実しいならばあの会計理論は渡り為さる

仮説: あの鞍部列は飼料用でない
1. 仮定1: 以下のように仮定する。「あの鞍部列は横方向モデルでない」ということは成り立たない
2. 仮定1と事実2から、推論1: "あの鞍部列は横方向モデルであるし忠実忠実しい"が導かれる
3. 推論1から、推論2: "「横方向モデルであるしその上忠実忠実しい」ものはある"が導かれる
4. 推論2と事実6から、推論3: "この会計理論は渡り為さる"が導かれる
5. 事実5から、推論4: "この会計理論は渡り為さらない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの鞍部列は横方向モデルでない"が導かれる
8. 事実3から、推論7: "もし仮にあの鞍部列が横方向モデルでないとすれば飼料用でない"が導かれる
9. 推論6と推論7から、仮説が導かれる

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