あの軍靴はジェットエンジンである
fact1: あの軍靴は身軽い fact2: 壊れ易くない物は簡素化する fact3: この咲き分け色が身軽いが簡素化しないならばあの軍靴はジェットエンジンでない fact4: あの軍靴はジェットエンジンで身軽い fact5: なんらかの物が簡素化するなら身軽いけどジェットエンジンでない fact6: もしもこの咲き分け色が簡素化するとすればあの軍靴は簡素化する fact7: そのデザイン提案書は身軽い fact8: もしあの軍靴は身軽いとすると「このタフネスさは身軽い」ということは成り立つ
fact4 -> hypothesis;
fact4 -> hypothesis;
このタフネスさは身軽い
fact12 -> int1: 仮にあの軍靴が簡素化するとしたらそれは身軽くて加えてジェットエンジンでない; fact10 -> int2: この咲き分け色は壊れ易いということはないとすると「それは簡素化する」ということは本当である;
$facts$ = fact1: あの軍靴は身軽い fact2: 壊れ易くない物は簡素化する fact3: この咲き分け色が身軽いが簡素化しないならばあの軍靴はジェットエンジンでない fact4: あの軍靴はジェットエンジンで身軽い fact5: なんらかの物が簡素化するなら身軽いけどジェットエンジンでない fact6: もしもこの咲き分け色が簡素化するとすればあの軍靴は簡素化する fact7: そのデザイン提案書は身軽い fact8: もしあの軍靴は身軽いとすると「このタフネスさは身軽い」ということは成り立つ ; $hypothesis$ = あの軍靴はジェットエンジンである ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: あの軍靴は身軽い
事実2: 壊れ易くない物は簡素化する
事実3: この咲き分け色が身軽いが簡素化しないならばあの軍靴はジェットエンジンでない
事実4: あの軍靴はジェットエンジンで身軽い
事実5: なんらかの物が簡素化するなら身軽いけどジェットエンジンでない
事実6: もしもこの咲き分け色が簡素化するとすればあの軍靴は簡素化する
事実7: そのデザイン提案書は身軽い
事実8: もしあの軍靴は身軽いとすると「このタフネスさは身軽い」ということは成り立つ

仮説: あの軍靴はジェットエンジンである
1. 事実4から、仮説が導かれる

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