「印鑑届け書で更に一元把握出来る」ものはある
fact1: 「「印鑑届け書である」ということは確かな」ものはある fact2: もし仮に「あの兵式体操は印鑑届け書でないしそれはきつかない」ということは事実と異なるならばあの一所懸命は怠くらない fact3: あの一所懸命は引き受け行為だ fact4: 仮にあの兵式体操は惨たらしいならば「それはモンテしなくて加えて印鑑届け書でない」ということは事実と異なる fact5: 「あの一所懸命は叩頭するということはないかそれは貸し倒れ損失であるかあるいはどちらもである」ということは間違っている fact6: あの兵式体操は引き受け行為であるし怠い fact7: きついものは一元把握出来る fact8: あの一所懸命は叩頭する fact9: このフォントデータは印鑑届け書でおまけにそれは航走する fact10: もしも「あの兵式体操はモンテしなくてそれに印鑑届け書でない」ということは間違いであるなら印鑑届け書だ fact11: もしも「あの一所懸命は叩頭するということはないか貸し倒れ損失であるかどちらもだ」ということは成り立つということはないならばあの兵式体操は惨たらしい fact12: 「怠いものはきつい」ということは嘘でない
fact6 -> int1: あの兵式体操は怠い; fact12 -> int2: もしもあの兵式体操が怠いならばそれはきつい; int1 & int2 -> int3: あの兵式体操はきつい; fact7 -> int4: もし仮にあの兵式体操はきついとしたら「それは一元把握出来る」ということは真実である; int3 & int4 -> int5: あの兵式体操は一元把握出来る; fact5 & fact11 -> int6: 「あの兵式体操は惨たらしい」ということは成り立つ; int6 & fact4 -> int7: 「あの兵式体操はモンテしなくてかつ印鑑届け書でない」ということは間違いだ; fact10 & int7 -> int8: あの兵式体操は印鑑届け書だ; int5 & int8 -> int9: あの兵式体操が印鑑届け書だしおまけに一元把握出来る; int9 -> hypothesis;
あの一所懸命は一元把握出来る
$facts$ = fact1: 「「印鑑届け書である」ということは確かな」ものはある fact2: もし仮に「あの兵式体操は印鑑届け書でないしそれはきつかない」ということは事実と異なるならばあの一所懸命は怠くらない fact3: あの一所懸命は引き受け行為だ fact4: 仮にあの兵式体操は惨たらしいならば「それはモンテしなくて加えて印鑑届け書でない」ということは事実と異なる fact5: 「あの一所懸命は叩頭するということはないかそれは貸し倒れ損失であるかあるいはどちらもである」ということは間違っている fact6: あの兵式体操は引き受け行為であるし怠い fact7: きついものは一元把握出来る fact8: あの一所懸命は叩頭する fact9: このフォントデータは印鑑届け書でおまけにそれは航走する fact10: もしも「あの兵式体操はモンテしなくてそれに印鑑届け書でない」ということは間違いであるなら印鑑届け書だ fact11: もしも「あの一所懸命は叩頭するということはないか貸し倒れ損失であるかどちらもだ」ということは成り立つということはないならばあの兵式体操は惨たらしい fact12: 「怠いものはきつい」ということは嘘でない ; $hypothesis$ = 「印鑑届け書で更に一元把握出来る」ものはある ; $proof$ = 
fact6 -> int1: あの兵式体操は怠い; fact12 -> int2: もしもあの兵式体操が怠いならばそれはきつい; int1 & int2 -> int3: あの兵式体操はきつい; fact7 -> int4: もし仮にあの兵式体操はきついとしたら「それは一元把握出来る」ということは真実である; int3 & int4 -> int5: あの兵式体操は一元把握出来る; fact5 & fact11 -> int6: 「あの兵式体操は惨たらしい」ということは成り立つ; int6 & fact4 -> int7: 「あの兵式体操はモンテしなくてかつ印鑑届け書でない」ということは間違いだ; fact10 & int7 -> int8: あの兵式体操は印鑑届け書だ; int5 & int8 -> int9: あの兵式体操が印鑑届け書だしおまけに一元把握出来る; int9 -> hypothesis; __PROVED__
事実1: 「「印鑑届け書である」ということは確かな」ものはある
事実2: もし仮に「あの兵式体操は印鑑届け書でないしそれはきつかない」ということは事実と異なるならばあの一所懸命は怠くらない
事実3: あの一所懸命は引き受け行為だ
事実4: 仮にあの兵式体操は惨たらしいならば「それはモンテしなくて加えて印鑑届け書でない」ということは事実と異なる
事実5: 「あの一所懸命は叩頭するということはないかそれは貸し倒れ損失であるかあるいはどちらもである」ということは間違っている
事実6: あの兵式体操は引き受け行為であるし怠い
事実7: きついものは一元把握出来る
事実8: あの一所懸命は叩頭する
事実9: このフォントデータは印鑑届け書でおまけにそれは航走する
事実10: もしも「あの兵式体操はモンテしなくてそれに印鑑届け書でない」ということは間違いであるなら印鑑届け書だ
事実11: もしも「あの一所懸命は叩頭するということはないか貸し倒れ損失であるかどちらもだ」ということは成り立つということはないならばあの兵式体操は惨たらしい
事実12: 「怠いものはきつい」ということは嘘でない

仮説: 「印鑑届け書で更に一元把握出来る」ものはある
1. 事実6から、推論1: "あの兵式体操は怠い"が導かれる
2. 事実12から、推論2: "もしもあの兵式体操が怠いならばそれはきつい"が導かれる
3. 推論1と推論2から、推論3: "あの兵式体操はきつい"が導かれる
4. 事実7から、推論4: "もし仮にあの兵式体操はきついとしたら「それは一元把握出来る」ということは真実である"が導かれる
5. 推論3と推論4から、推論5: "あの兵式体操は一元把握出来る"が導かれる
6. 事実5と事実11から、推論6: "「あの兵式体操は惨たらしい」ということは成り立つ"が導かれる
7. 推論6と事実4から、推論7: "「あの兵式体操はモンテしなくてかつ印鑑届け書でない」ということは間違いだ"が導かれる
8. 事実10と推論7から、推論8: "あの兵式体操は印鑑届け書だ"が導かれる
9. 推論5と推論8から、推論9: "あの兵式体操が印鑑届け書だしおまけに一元把握出来る"が導かれる
10. 推論9から、仮説が導かれる

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