このＲＩＳＫＳは芽生えるということはないがしかしそれは遅し
fact1: もしあの現場管理者は開き易いということはないなら「このＲＩＳＫＳは芽生えるということはない一方で遅し」ということは事実と異なる fact2: このＲＩＳＫＳは怒鳴り合わないけど感じ難い fact3: この数日後は張るということはない fact4: このＲＩＳＫＳは公園用地でない fact5: 仮にある物が筆記するということはないとすればそれは得難いしすっごーい fact6: もしもこの数日後が激しいとしたら蹴り続ける fact7: このＲＩＳＫＳは開き易い fact8: もしこのＲＩＳＫＳが怖ーくないとすれば芽生えない fact9: もしもこの数日後が心安いし加えて蹴り続けるならその鐚は密約しない fact10: 仮に「そのコミュニズムは筆記するししかも開き易い」ということは偽だとすればアクセスしない fact11: 「このＲＩＳＫＳは看護プログラムであるしそれは怖ーい」ということは成り立つということはない fact12: このＲＩＳＫＳが開き易いとしたら遅し fact13: もし「密約しない」物があればその鉢物は筆記しない fact14: もしこの数日後は張るということはないとすると「それは自分らしくないし加えて心安いということはない」ということは事実であるということはない fact15: 得難い物はアメリカ・インディアンだ fact16: もしも「この数日後は自分らしくないもので心安くない」ということは間違っているとすると「心安い」ということは事実だ fact17: もし仮に「このＲＩＳＫＳは看護プログラムだし怖ーい」ということは成り立つということはないならばそれは芽生えるということはない fact18: この数日後は激しい fact19: もし「なんらかのものはアメリカ・インディアンでないしそれは公園用地でない」ということは間違っているとすれば開き易くない
fact17 & fact11 -> int1: このＲＩＳＫＳは芽生えない; fact7 & fact12 -> int2: このＲＩＳＫＳは遅し; int1 & int2 -> hypothesis;
「このＲＩＳＫＳは芽生えないけれど遅し」ということは成り立たない
fact21 -> int3: もし仮に「あの現場管理者はアメリカ・インディアンだということはなくてかつ公園用地でない」ということは成り立つということはないとしたら開き易くない; fact29 -> int4: もし仮にその鉢物が得難いとしたらそれはアメリカ・インディアンである; fact24 -> int5: 仮にその鉢物が筆記しないならばそれは得難いしおまけにすっごーい; fact25 & fact28 -> int6: 「この数日後は自分らしくないし加えて心安くない」ということは偽だ; fact22 & int6 -> int7: この数日後は心安い; fact20 & fact23 -> int8: この数日後は蹴り続ける; int7 & int8 -> int9: この数日後は心安いしおまけに蹴り続ける; fact27 & int9 -> int10: その鐚は密約しない; int10 -> int11: 「密約しない」ものはある; int11 & fact26 -> int12: その鉢物は筆記しない; int5 & int12 -> int13: その鉢物は得難いしその上すっごーい; int13 -> int14: その鉢物は得難い; int4 & int14 -> int15: その鉢物はアメリカ・インディアンである; int15 -> int16: アメリカ・インディアンはある;
$facts$ = fact1: もしあの現場管理者は開き易いということはないなら「このＲＩＳＫＳは芽生えるということはない一方で遅し」ということは事実と異なる fact2: このＲＩＳＫＳは怒鳴り合わないけど感じ難い fact3: この数日後は張るということはない fact4: このＲＩＳＫＳは公園用地でない fact5: 仮にある物が筆記するということはないとすればそれは得難いしすっごーい fact6: もしもこの数日後が激しいとしたら蹴り続ける fact7: このＲＩＳＫＳは開き易い fact8: もしこのＲＩＳＫＳが怖ーくないとすれば芽生えない fact9: もしもこの数日後が心安いし加えて蹴り続けるならその鐚は密約しない fact10: 仮に「そのコミュニズムは筆記するししかも開き易い」ということは偽だとすればアクセスしない fact11: 「このＲＩＳＫＳは看護プログラムであるしそれは怖ーい」ということは成り立つということはない fact12: このＲＩＳＫＳが開き易いとしたら遅し fact13: もし「密約しない」物があればその鉢物は筆記しない fact14: もしこの数日後は張るということはないとすると「それは自分らしくないし加えて心安いということはない」ということは事実であるということはない fact15: 得難い物はアメリカ・インディアンだ fact16: もしも「この数日後は自分らしくないもので心安くない」ということは間違っているとすると「心安い」ということは事実だ fact17: もし仮に「このＲＩＳＫＳは看護プログラムだし怖ーい」ということは成り立つということはないならばそれは芽生えるということはない fact18: この数日後は激しい fact19: もし「なんらかのものはアメリカ・インディアンでないしそれは公園用地でない」ということは間違っているとすれば開き易くない ; $hypothesis$ = このＲＩＳＫＳは芽生えるということはないがしかしそれは遅し ; $proof$ = 
fact17 & fact11 -> int1: このＲＩＳＫＳは芽生えない; fact7 & fact12 -> int2: このＲＩＳＫＳは遅し; int1 & int2 -> hypothesis; __PROVED__
事実1: もしあの現場管理者は開き易いということはないなら「このＲＩＳＫＳは芽生えるということはない一方で遅し」ということは事実と異なる
事実2: このＲＩＳＫＳは怒鳴り合わないけど感じ難い
事実3: この数日後は張るということはない
事実4: このＲＩＳＫＳは公園用地でない
事実5: 仮にある物が筆記するということはないとすればそれは得難いしすっごーい
事実6: もしもこの数日後が激しいとしたら蹴り続ける
事実7: このＲＩＳＫＳは開き易い
事実8: もしこのＲＩＳＫＳが怖ーくないとすれば芽生えない
事実9: もしもこの数日後が心安いし加えて蹴り続けるならその鐚は密約しない
事実10: 仮に「そのコミュニズムは筆記するししかも開き易い」ということは偽だとすればアクセスしない
事実11: 「このＲＩＳＫＳは看護プログラムであるしそれは怖ーい」ということは成り立つということはない
事実12: このＲＩＳＫＳが開き易いとしたら遅し
事実13: もし「密約しない」物があればその鉢物は筆記しない
事実14: もしこの数日後は張るということはないとすると「それは自分らしくないし加えて心安いということはない」ということは事実であるということはない
事実15: 得難い物はアメリカ・インディアンだ
事実16: もしも「この数日後は自分らしくないもので心安くない」ということは間違っているとすると「心安い」ということは事実だ
事実17: もし仮に「このＲＩＳＫＳは看護プログラムだし怖ーい」ということは成り立つということはないならばそれは芽生えるということはない
事実18: この数日後は激しい
事実19: もし「なんらかのものはアメリカ・インディアンでないしそれは公園用地でない」ということは間違っているとすれば開き易くない

仮説: このＲＩＳＫＳは芽生えるということはないがしかしそれは遅し
1. 事実17と事実11から、推論1: "このＲＩＳＫＳは芽生えない"が導かれる
2. 事実7と事実12から、推論2: "このＲＩＳＫＳは遅し"が導かれる
3. 推論1と推論2から、仮説が導かれる

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