なにかはポップアップカレンダーでないけれどロケット号だ
fact1: あの改良率は呼吸仕事量だということはない fact2: 甘酸っぱいものはやんごとなくない fact3: あの改良率はロケット号だ fact4: もしやんごとない物は呼吸仕事量でないなら「実見する」ということは成り立つ fact5: 何らかの物はポップアップカレンダーであるしそれはロケット号である fact6: もしもとある物が実見するなら分解する fact7: もしあの地歩がやんごとないということはないならあの改良率はやんごとないが呼吸仕事量でない fact8: あの地歩は休むしさらに甘酸っぱい fact9: もし仮になにがしかの物が分解すればそれはポップアップカレンダーでない fact10: あの地歩が甘酸っぱいならば増悪しない fact11: もしもやんごとない物が呼吸仕事量ならば実見する fact12: 「建設資金でない」物はある fact13: あの改良率は問題解決方法だ
fact2 -> int1: あの地歩が甘酸っぱいとするとやんごとなくない; fact8 -> int2: 「あの地歩は甘酸っぱい」ということは成り立つ; int1 & int2 -> int3: あの地歩はやんごとないということはない; int3 & fact7 -> int4: あの改良率はやんごとないが呼吸仕事量でない; fact4 -> int5: もしあの改良率がやんごとないけれど呼吸仕事量でないとしたら実見する; int4 & int5 -> int6: あの改良率は実見する; fact6 -> int7: もしもあの改良率が実見するとしたらそれは分解する; int6 & int7 -> int8: 「あの改良率は分解する」ということは正しい; fact9 -> int9: もしもあの改良率が分解するとするとポップアップカレンダーでない; int8 & int9 -> int10: あの改良率はポップアップカレンダーでない; int10 & fact3 -> int11: あの改良率はポップアップカレンダーでない一方でロケット号だ; int11 -> hypothesis;
$facts$ = fact1: あの改良率は呼吸仕事量だということはない fact2: 甘酸っぱいものはやんごとなくない fact3: あの改良率はロケット号だ fact4: もしやんごとない物は呼吸仕事量でないなら「実見する」ということは成り立つ fact5: 何らかの物はポップアップカレンダーであるしそれはロケット号である fact6: もしもとある物が実見するなら分解する fact7: もしあの地歩がやんごとないということはないならあの改良率はやんごとないが呼吸仕事量でない fact8: あの地歩は休むしさらに甘酸っぱい fact9: もし仮になにがしかの物が分解すればそれはポップアップカレンダーでない fact10: あの地歩が甘酸っぱいならば増悪しない fact11: もしもやんごとない物が呼吸仕事量ならば実見する fact12: 「建設資金でない」物はある fact13: あの改良率は問題解決方法だ ; $hypothesis$ = なにかはポップアップカレンダーでないけれどロケット号だ ; $proof$ = 
fact2 -> int1: あの地歩が甘酸っぱいとするとやんごとなくない; fact8 -> int2: 「あの地歩は甘酸っぱい」ということは成り立つ; int1 & int2 -> int3: あの地歩はやんごとないということはない; int3 & fact7 -> int4: あの改良率はやんごとないが呼吸仕事量でない; fact4 -> int5: もしあの改良率がやんごとないけれど呼吸仕事量でないとしたら実見する; int4 & int5 -> int6: あの改良率は実見する; fact6 -> int7: もしもあの改良率が実見するとしたらそれは分解する; int6 & int7 -> int8: 「あの改良率は分解する」ということは正しい; fact9 -> int9: もしもあの改良率が分解するとするとポップアップカレンダーでない; int8 & int9 -> int10: あの改良率はポップアップカレンダーでない; int10 & fact3 -> int11: あの改良率はポップアップカレンダーでない一方でロケット号だ; int11 -> hypothesis; __PROVED__
事実1: あの改良率は呼吸仕事量だということはない
事実2: 甘酸っぱいものはやんごとなくない
事実3: あの改良率はロケット号だ
事実4: もしやんごとない物は呼吸仕事量でないなら「実見する」ということは成り立つ
事実5: 何らかの物はポップアップカレンダーであるしそれはロケット号である
事実6: もしもとある物が実見するなら分解する
事実7: もしあの地歩がやんごとないということはないならあの改良率はやんごとないが呼吸仕事量でない
事実8: あの地歩は休むしさらに甘酸っぱい
事実9: もし仮になにがしかの物が分解すればそれはポップアップカレンダーでない
事実10: あの地歩が甘酸っぱいならば増悪しない
事実11: もしもやんごとない物が呼吸仕事量ならば実見する
事実12: 「建設資金でない」物はある
事実13: あの改良率は問題解決方法だ

仮説: なにかはポップアップカレンダーでないけれどロケット号だ
1. 事実2から、推論1: "あの地歩が甘酸っぱいとするとやんごとなくない"が導かれる
2. 事実8から、推論2: "「あの地歩は甘酸っぱい」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "あの地歩はやんごとないということはない"が導かれる
4. 推論3と事実7から、推論4: "あの改良率はやんごとないが呼吸仕事量でない"が導かれる
5. 事実4から、推論5: "もしあの改良率がやんごとないけれど呼吸仕事量でないとしたら実見する"が導かれる
6. 推論4と推論5から、推論6: "あの改良率は実見する"が導かれる
7. 事実6から、推論7: "もしもあの改良率が実見するとしたらそれは分解する"が導かれる
8. 推論6と推論7から、推論8: "「あの改良率は分解する」ということは正しい"が導かれる
9. 事実9から、推論9: "もしもあの改良率が分解するとするとポップアップカレンダーでない"が導かれる
10. 推論8と推論9から、推論10: "あの改良率はポップアップカレンダーでない"が導かれる
11. 推論10と事実3から、推論11: "あの改良率はポップアップカレンダーでない一方でロケット号だ"が導かれる
12. 推論11から、仮説が導かれる

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