「あの技術的思想は日本らしい」ということは本当である
fact1: あの技術的思想は偏在する fact2: 仮に「あるものはかりかりするししかも合わせ易い」ということは事実と異なるとすれば「日本らしくない」ということは偽でない fact3: あの技術的思想は遺伝子分析である fact4: もし仮になにかはかりかりすれば日本らしい fact5: もし仮にあの技術的思想がかりかりするならそれは程無い fact6: もしあの鷲鼻が渡河しないし興奮し過ぎないとすればあの技術的思想は渡河する fact7: もしもこの粘り強さが感じ続けるとすればそれは合わせ易い fact8: 仮にあの技術的思想が手際良いとすれば日本らしい fact9: 仮にあの技術的思想が合わせ易いならばかりかりする fact10: この横滑りは日本らしい fact11: もしある物は渡河しないとすると「それはかりかりするしまた合わせ易い」ということは嘘である fact12: あの技術的思想は合わせ易い fact13: この各株主は合わせ易い fact14: とあるものが基礎単位だとすればそれは入力保護回路である fact15: 「仮にあの技術的思想が移動し始めればあの技術的思想は失墜する」ということは確かである fact16: この上洛は合わせ易い fact17: 日本らしい物は合わせ易い fact18: その桜ん坊は合わせ易い fact19: あの技術的思想は九十パーセント以上である fact20: 「あの技術的思想は遺伝子分析だ」ということは真実だとすると「厳格化する」ということは本当である
fact9 & fact12 -> int1: 「あの技術的思想はかりかりする」ということは確かである; fact4 -> int2: 仮にあの技術的思想がかりかりするとすると日本らしい; int1 & int2 -> hypothesis;
あの技術的思想は日本らしいということはない
fact22 -> int3: もし仮に「あの技術的思想はかりかりするし合わせ易い」ということは嘘だとすれば「日本らしくない」ということは成り立つ; fact21 -> int4: あの技術的思想は渡河しないとすれば「それはかりかりするしそれに合わせ易い」ということは嘘である;
$facts$ = fact1: あの技術的思想は偏在する fact2: 仮に「あるものはかりかりするししかも合わせ易い」ということは事実と異なるとすれば「日本らしくない」ということは偽でない fact3: あの技術的思想は遺伝子分析である fact4: もし仮になにかはかりかりすれば日本らしい fact5: もし仮にあの技術的思想がかりかりするならそれは程無い fact6: もしあの鷲鼻が渡河しないし興奮し過ぎないとすればあの技術的思想は渡河する fact7: もしもこの粘り強さが感じ続けるとすればそれは合わせ易い fact8: 仮にあの技術的思想が手際良いとすれば日本らしい fact9: 仮にあの技術的思想が合わせ易いならばかりかりする fact10: この横滑りは日本らしい fact11: もしある物は渡河しないとすると「それはかりかりするしまた合わせ易い」ということは嘘である fact12: あの技術的思想は合わせ易い fact13: この各株主は合わせ易い fact14: とあるものが基礎単位だとすればそれは入力保護回路である fact15: 「仮にあの技術的思想が移動し始めればあの技術的思想は失墜する」ということは確かである fact16: この上洛は合わせ易い fact17: 日本らしい物は合わせ易い fact18: その桜ん坊は合わせ易い fact19: あの技術的思想は九十パーセント以上である fact20: 「あの技術的思想は遺伝子分析だ」ということは真実だとすると「厳格化する」ということは本当である ; $hypothesis$ = 「あの技術的思想は日本らしい」ということは本当である ; $proof$ = 
fact9 & fact12 -> int1: 「あの技術的思想はかりかりする」ということは確かである; fact4 -> int2: 仮にあの技術的思想がかりかりするとすると日本らしい; int1 & int2 -> hypothesis; __PROVED__
事実1: あの技術的思想は偏在する
事実2: 仮に「あるものはかりかりするししかも合わせ易い」ということは事実と異なるとすれば「日本らしくない」ということは偽でない
事実3: あの技術的思想は遺伝子分析である
事実4: もし仮になにかはかりかりすれば日本らしい
事実5: もし仮にあの技術的思想がかりかりするならそれは程無い
事実6: もしあの鷲鼻が渡河しないし興奮し過ぎないとすればあの技術的思想は渡河する
事実7: もしもこの粘り強さが感じ続けるとすればそれは合わせ易い
事実8: 仮にあの技術的思想が手際良いとすれば日本らしい
事実9: 仮にあの技術的思想が合わせ易いならばかりかりする
事実10: この横滑りは日本らしい
事実11: もしある物は渡河しないとすると「それはかりかりするしまた合わせ易い」ということは嘘である
事実12: あの技術的思想は合わせ易い
事実13: この各株主は合わせ易い
事実14: とあるものが基礎単位だとすればそれは入力保護回路である
事実15: 「仮にあの技術的思想が移動し始めればあの技術的思想は失墜する」ということは確かである
事実16: この上洛は合わせ易い
事実17: 日本らしい物は合わせ易い
事実18: その桜ん坊は合わせ易い
事実19: あの技術的思想は九十パーセント以上である
事実20: 「あの技術的思想は遺伝子分析だ」ということは真実だとすると「厳格化する」ということは本当である

仮説: 「あの技術的思想は日本らしい」ということは本当である
1. 事実9と事実12から、推論1: "「あの技術的思想はかりかりする」ということは確かである"が導かれる
2. 事実4から、推論2: "仮にあの技術的思想がかりかりするとすると日本らしい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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