そのトリガパルスはし得るか涙脆い
fact1: もし仮に意義深い物が涙脆いとすればその左副腎は女っぽい fact2: もしも意義深い物が長居するとするとその全身症状は目移りする fact3: その左副腎は大宰大弐である fact4: その左副腎は女っぽい fact5: その左副腎は泊めない fact6: 「「意義深い」ものはある」ということは真実だ fact7: あの乗り継ぎは泊めない fact8: もし仮にその左副腎が泊めないとすればそれは意義深くてまた女っぽい fact9: そのキャバレーは父親らしくない fact10: そのキャバレーは泊める fact11: 仮にその全身症状が目移りするとしたら貴方らしい fact12: 仮になんらかのものは父親らしくないとしたら「それはし得るか涙脆いか両方ともだ」ということは事実でない fact13: 「長居する」物はある fact14: もしその左副腎が泊めないとするとそれは女っぽい fact15: もし仮にその全身症状が貴方らしいとするとそのトリガパルスは涙脆い fact16: もし仮にそのキャバレーが父親らしいということはないならばその左副腎は大宰大弐であるし更に長居する
fact16 & fact9 -> int1: その左副腎は大宰大弐であるしおまけに長居する; int1 -> int2: その左副腎は長居する; fact5 & fact8 -> int3: その左副腎は意義深いししかも女っぽい; int3 -> int4: その左副腎は意義深い; int2 & int4 -> int5: その左副腎は意義深くて長居する; int5 -> int6: 「意義深いし加えて長居する」ものはある; int6 & fact2 -> int7: その全身症状は目移りする; int7 & fact11 -> int8: その全身症状は貴方らしい; int8 & fact15 -> int9: そのトリガパルスは涙脆い; int9 -> hypothesis;
「そのトリガパルスはし得るかあるいは涙脆いかあるいは両方である」ということは間違いである
fact17 -> int10: もしそのトリガパルスは父親らしくないなら「し得るかあるいは涙脆い」ということは間違いだ;
$facts$ = fact1: もし仮に意義深い物が涙脆いとすればその左副腎は女っぽい fact2: もしも意義深い物が長居するとするとその全身症状は目移りする fact3: その左副腎は大宰大弐である fact4: その左副腎は女っぽい fact5: その左副腎は泊めない fact6: 「「意義深い」ものはある」ということは真実だ fact7: あの乗り継ぎは泊めない fact8: もし仮にその左副腎が泊めないとすればそれは意義深くてまた女っぽい fact9: そのキャバレーは父親らしくない fact10: そのキャバレーは泊める fact11: 仮にその全身症状が目移りするとしたら貴方らしい fact12: 仮になんらかのものは父親らしくないとしたら「それはし得るか涙脆いか両方ともだ」ということは事実でない fact13: 「長居する」物はある fact14: もしその左副腎が泊めないとするとそれは女っぽい fact15: もし仮にその全身症状が貴方らしいとするとそのトリガパルスは涙脆い fact16: もし仮にそのキャバレーが父親らしいということはないならばその左副腎は大宰大弐であるし更に長居する ; $hypothesis$ = そのトリガパルスはし得るか涙脆い ; $proof$ = 
fact16 & fact9 -> int1: その左副腎は大宰大弐であるしおまけに長居する; int1 -> int2: その左副腎は長居する; fact5 & fact8 -> int3: その左副腎は意義深いししかも女っぽい; int3 -> int4: その左副腎は意義深い; int2 & int4 -> int5: その左副腎は意義深くて長居する; int5 -> int6: 「意義深いし加えて長居する」ものはある; int6 & fact2 -> int7: その全身症状は目移りする; int7 & fact11 -> int8: その全身症状は貴方らしい; int8 & fact15 -> int9: そのトリガパルスは涙脆い; int9 -> hypothesis; __PROVED__
事実1: もし仮に意義深い物が涙脆いとすればその左副腎は女っぽい
事実2: もしも意義深い物が長居するとするとその全身症状は目移りする
事実3: その左副腎は大宰大弐である
事実4: その左副腎は女っぽい
事実5: その左副腎は泊めない
事実6: 「「意義深い」ものはある」ということは真実だ
事実7: あの乗り継ぎは泊めない
事実8: もし仮にその左副腎が泊めないとすればそれは意義深くてまた女っぽい
事実9: そのキャバレーは父親らしくない
事実10: そのキャバレーは泊める
事実11: 仮にその全身症状が目移りするとしたら貴方らしい
事実12: 仮になんらかのものは父親らしくないとしたら「それはし得るか涙脆いか両方ともだ」ということは事実でない
事実13: 「長居する」物はある
事実14: もしその左副腎が泊めないとするとそれは女っぽい
事実15: もし仮にその全身症状が貴方らしいとするとそのトリガパルスは涙脆い
事実16: もし仮にそのキャバレーが父親らしいということはないならばその左副腎は大宰大弐であるし更に長居する

仮説: そのトリガパルスはし得るか涙脆い
1. 事実16と事実9から、推論1: "その左副腎は大宰大弐であるしおまけに長居する"が導かれる
2. 推論1から、推論2: "その左副腎は長居する"が導かれる
3. 事実5と事実8から、推論3: "その左副腎は意義深いししかも女っぽい"が導かれる
4. 推論3から、推論4: "その左副腎は意義深い"が導かれる
5. 推論2と推論4から、推論5: "その左副腎は意義深くて長居する"が導かれる
6. 推論5から、推論6: "「意義深いし加えて長居する」ものはある"が導かれる
7. 推論6と事実2から、推論7: "その全身症状は目移りする"が導かれる
8. 推論7と事実11から、推論8: "その全身症状は貴方らしい"が導かれる
9. 推論8と事実15から、推論9: "そのトリガパルスは涙脆い"が導かれる
10. 推論9から、仮説が導かれる

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