あの認識様式は女の子らしいし加えてしつこい
fact1: 何らかのものがこりこりするとすればそれは女の子らしい fact2: 仮にあの認識様式は擦り寄せるとすると「それは押さえ難い」ということは正しい fact3: あの認識様式は明るくない fact4: もし明るくない物が情報発信しないとするとそれはこりこりする fact5: あの認識様式は擦り寄せる fact6: あの認識様式は出掛ける fact7: もし何かは呼び捨てないしそれは鑑賞し易くないとすれば「発行する」ということは間違いでない fact8: あの陸軍大将はしつこくないしまた育ち難いということはない fact9: なにかは情報発信しないかこりこりしないならそれは明るいということはない fact10: あの認識様式はしつこくてかつそれは擦り寄せる fact11: あの認識様式は雇えるししかも華人コミュニティである fact12: もし仮にあの認識様式が擦り寄せるならそれは発現系である fact13: 明るいものが情報発信するということはないとするとそれはこりこりする fact14: あのＧＮＰはクリアーするが御報告しない fact15: あらゆる物は傅かない fact16: すべては明るくないしさらに情報発信しない fact17: 「もしあのＧＮＰがクリアーする一方で御報告しないとするとそのＯＤＢＣは浮つく」ということは事実だ fact18: もし仮にそのＯＤＢＣが浮つくしおまけに御返し致すならあの認識様式は擦り寄せない fact19: あの感度・特異度は女の子らしいしその上運び易い fact20: その籐は渦巻きだし信頼し切る fact21: あの認識様式は明るいけど情報発信するということはないとすればこりこりする fact22: もし仮にある物は擦り寄せないなら「情報発信しないかもしくはこりこりしないかあるいは両方である」ということは成り立つ
fact16 -> int1: あの認識様式は明るくないし更にそれは情報発信しない; fact4 -> int2: 「もしもあの認識様式が明るくないしそれが情報発信するということはないとするとあの認識様式はこりこりする」ということは確かだ; int1 & int2 -> int3: あの認識様式はこりこりする; fact1 -> int4: もしもあの認識様式がこりこりすればそれは女の子らしい; int3 & int4 -> int5: あの認識様式は女の子らしい; fact10 -> int6: あの認識様式はしつこい; int5 & int6 -> hypothesis;
「あの認識様式が女の子らしいしその上それはしつこい」ということは成り立たない
fact24 -> int7: もしもあの認識様式は情報発信しないかもしくはこりこりしないかもしくは両方だとすれば明るくない; fact23 -> int8: もしも「あの認識様式は擦り寄せない」ということは本当であるならばそれは情報発信しないかまたはこりこりしない; fact26 & fact27 -> int9: そのＯＤＢＣは浮つく;
$facts$ = fact1: 何らかのものがこりこりするとすればそれは女の子らしい fact2: 仮にあの認識様式は擦り寄せるとすると「それは押さえ難い」ということは正しい fact3: あの認識様式は明るくない fact4: もし明るくない物が情報発信しないとするとそれはこりこりする fact5: あの認識様式は擦り寄せる fact6: あの認識様式は出掛ける fact7: もし何かは呼び捨てないしそれは鑑賞し易くないとすれば「発行する」ということは間違いでない fact8: あの陸軍大将はしつこくないしまた育ち難いということはない fact9: なにかは情報発信しないかこりこりしないならそれは明るいということはない fact10: あの認識様式はしつこくてかつそれは擦り寄せる fact11: あの認識様式は雇えるししかも華人コミュニティである fact12: もし仮にあの認識様式が擦り寄せるならそれは発現系である fact13: 明るいものが情報発信するということはないとするとそれはこりこりする fact14: あのＧＮＰはクリアーするが御報告しない fact15: あらゆる物は傅かない fact16: すべては明るくないしさらに情報発信しない fact17: 「もしあのＧＮＰがクリアーする一方で御報告しないとするとそのＯＤＢＣは浮つく」ということは事実だ fact18: もし仮にそのＯＤＢＣが浮つくしおまけに御返し致すならあの認識様式は擦り寄せない fact19: あの感度・特異度は女の子らしいしその上運び易い fact20: その籐は渦巻きだし信頼し切る fact21: あの認識様式は明るいけど情報発信するということはないとすればこりこりする fact22: もし仮にある物は擦り寄せないなら「情報発信しないかもしくはこりこりしないかあるいは両方である」ということは成り立つ ; $hypothesis$ = あの認識様式は女の子らしいし加えてしつこい ; $proof$ = 
fact16 -> int1: あの認識様式は明るくないし更にそれは情報発信しない; fact4 -> int2: 「もしもあの認識様式が明るくないしそれが情報発信するということはないとするとあの認識様式はこりこりする」ということは確かだ; int1 & int2 -> int3: あの認識様式はこりこりする; fact1 -> int4: もしもあの認識様式がこりこりすればそれは女の子らしい; int3 & int4 -> int5: あの認識様式は女の子らしい; fact10 -> int6: あの認識様式はしつこい; int5 & int6 -> hypothesis; __PROVED__
事実1: 何らかのものがこりこりするとすればそれは女の子らしい
事実2: 仮にあの認識様式は擦り寄せるとすると「それは押さえ難い」ということは正しい
事実3: あの認識様式は明るくない
事実4: もし明るくない物が情報発信しないとするとそれはこりこりする
事実5: あの認識様式は擦り寄せる
事実6: あの認識様式は出掛ける
事実7: もし何かは呼び捨てないしそれは鑑賞し易くないとすれば「発行する」ということは間違いでない
事実8: あの陸軍大将はしつこくないしまた育ち難いということはない
事実9: なにかは情報発信しないかこりこりしないならそれは明るいということはない
事実10: あの認識様式はしつこくてかつそれは擦り寄せる
事実11: あの認識様式は雇えるししかも華人コミュニティである
事実12: もし仮にあの認識様式が擦り寄せるならそれは発現系である
事実13: 明るいものが情報発信するということはないとするとそれはこりこりする
事実14: あのＧＮＰはクリアーするが御報告しない
事実15: あらゆる物は傅かない
事実16: すべては明るくないしさらに情報発信しない
事実17: 「もしあのＧＮＰがクリアーする一方で御報告しないとするとそのＯＤＢＣは浮つく」ということは事実だ
事実18: もし仮にそのＯＤＢＣが浮つくしおまけに御返し致すならあの認識様式は擦り寄せない
事実19: あの感度・特異度は女の子らしいしその上運び易い
事実20: その籐は渦巻きだし信頼し切る
事実21: あの認識様式は明るいけど情報発信するということはないとすればこりこりする
事実22: もし仮にある物は擦り寄せないなら「情報発信しないかもしくはこりこりしないかあるいは両方である」ということは成り立つ

仮説: あの認識様式は女の子らしいし加えてしつこい
1. 事実16から、推論1: "あの認識様式は明るくないし更にそれは情報発信しない"が導かれる
2. 事実4から、推論2: "「もしもあの認識様式が明るくないしそれが情報発信するということはないとするとあの認識様式はこりこりする」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "あの認識様式はこりこりする"が導かれる
4. 事実1から、推論4: "もしもあの認識様式がこりこりすればそれは女の子らしい"が導かれる
5. 推論3と推論4から、推論5: "あの認識様式は女の子らしい"が導かれる
6. 事実10から、推論6: "あの認識様式はしつこい"が導かれる
7. 推論5と推論6から、仮説が導かれる

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