この披瀝はログオン出来る
fact1: その仲間集団はログオン出来る fact2: その仲間集団が自動機械ならこの披瀝はログオン出来る fact3: もしあの労働賃金は頼り無いならば「差し入らなくてしかも自社ブランドでない」ということは成り立たない fact4: 「あの終身結婚主義はログオン出来る」ということは事実だ fact5: あの表玄関は自動機械だ fact6: その仲間集団は著しい fact7: その仲間集団は雀蜂で一般化出来る fact8: この披瀝はもどかしい fact9: この披瀝は着替え為さる fact10: その橋渡しはログオン出来るし着替え為さる fact11: この極細は否める fact12: もどかしいものは自動機械だ fact13: その仲間集団はログオン出来るし更に否める fact14: この披瀝は否める fact15: もしもその仲間集団がログオン出来るならばあの披瀝は自動機械である fact16: この披瀝が自動機械だとするとその仲間集団はログオン出来る fact17: その仲間集団はもどかしいしその上否める fact18: もしもその岩は否めるとしたら「その仲間集団はもどかしい一方でそれはログオン出来ない」ということは事実と異なる fact19: この金融証券が揺さぶらないならばその岩は否めるし加えて自動機械である fact20: この披瀝は遣る瀬無い fact21: 「あの日支はもどかしい」ということは真実だ
fact17 -> int1: その仲間集団はもどかしい; fact12 -> int2: もしもその仲間集団がもどかしいとしたらそれは自動機械である; int1 & int2 -> int3: その仲間集団は自動機械だ; int3 & fact2 -> hypothesis;
fact17 -> int1: {A}{a}; fact12 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact2 -> hypothesis;
この披瀝はログオン出来ない
$facts$ = fact1: その仲間集団はログオン出来る fact2: その仲間集団が自動機械ならこの披瀝はログオン出来る fact3: もしあの労働賃金は頼り無いならば「差し入らなくてしかも自社ブランドでない」ということは成り立たない fact4: 「あの終身結婚主義はログオン出来る」ということは事実だ fact5: あの表玄関は自動機械だ fact6: その仲間集団は著しい fact7: その仲間集団は雀蜂で一般化出来る fact8: この披瀝はもどかしい fact9: この披瀝は着替え為さる fact10: その橋渡しはログオン出来るし着替え為さる fact11: この極細は否める fact12: もどかしいものは自動機械だ fact13: その仲間集団はログオン出来るし更に否める fact14: この披瀝は否める fact15: もしもその仲間集団がログオン出来るならばあの披瀝は自動機械である fact16: この披瀝が自動機械だとするとその仲間集団はログオン出来る fact17: その仲間集団はもどかしいしその上否める fact18: もしもその岩は否めるとしたら「その仲間集団はもどかしい一方でそれはログオン出来ない」ということは事実と異なる fact19: この金融証券が揺さぶらないならばその岩は否めるし加えて自動機械である fact20: この披瀝は遣る瀬無い fact21: 「あの日支はもどかしい」ということは真実だ ; $hypothesis$ = この披瀝はログオン出来る ; $proof$ = 
fact17 -> int1: その仲間集団はもどかしい; fact12 -> int2: もしもその仲間集団がもどかしいとしたらそれは自動機械である; int1 & int2 -> int3: その仲間集団は自動機械だ; int3 & fact2 -> hypothesis; __PROVED__
事実1: その仲間集団はログオン出来る
事実2: その仲間集団が自動機械ならこの披瀝はログオン出来る
事実3: もしあの労働賃金は頼り無いならば「差し入らなくてしかも自社ブランドでない」ということは成り立たない
事実4: 「あの終身結婚主義はログオン出来る」ということは事実だ
事実5: あの表玄関は自動機械だ
事実6: その仲間集団は著しい
事実7: その仲間集団は雀蜂で一般化出来る
事実8: この披瀝はもどかしい
事実9: この披瀝は着替え為さる
事実10: その橋渡しはログオン出来るし着替え為さる
事実11: この極細は否める
事実12: もどかしいものは自動機械だ
事実13: その仲間集団はログオン出来るし更に否める
事実14: この披瀝は否める
事実15: もしもその仲間集団がログオン出来るならばあの披瀝は自動機械である
事実16: この披瀝が自動機械だとするとその仲間集団はログオン出来る
事実17: その仲間集団はもどかしいしその上否める
事実18: もしもその岩は否めるとしたら「その仲間集団はもどかしい一方でそれはログオン出来ない」ということは事実と異なる
事実19: この金融証券が揺さぶらないならばその岩は否めるし加えて自動機械である
事実20: この披瀝は遣る瀬無い
事実21: 「あの日支はもどかしい」ということは真実だ

仮説: この披瀝はログオン出来る
1. 事実17から、推論1: "その仲間集団はもどかしい"が導かれる
2. 事実12から、推論2: "もしもその仲間集団がもどかしいとしたらそれは自動機械である"が導かれる
3. 推論1と推論2から、推論3: "その仲間集団は自動機械だ"が導かれる
4. 推論3と事実2から、仮説が導かれる

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