あの値打ち物は考え辛くない
fact1: ある物は納得し難い fact2: もし「納得し難くない」物はあれば「あの腐植土は機影でないかもしくはそれは振り回せないかまたは両方ともである」ということは偽である fact3: 「仮にその国民保健サービスが自己修正であるならその国民保健サービスは親切だ」ということは本当だ fact4: 当ては嫌らしい fact5: もし仮にこの御甲類が機影でなくて更に振り回せないとするとあの値打ち物は納得し難くない fact6: 「機影である」物はある fact7: もし「あの腐植土は機影でないかあるいは振り回せないかもしくは両方ともだ」ということは誤りだとするとあの値打ち物は考え辛くない fact8: もしも「「あの値打ち物は考え辛くないかまたはそれは振り回せないかもしくは両方ともである」ということは嘘だ」ということは正しいとしたらあの腐植土は納得し難くない fact9: 「あの腐植土は納得し難くない」ということは成り立つなら「この御甲類が機影だししかもそれは憎々しい」ということは事実と異なる fact10: あの腐植土が嫌らしいしその上それは当てである fact11: もし仮にその国民保健サービスが親切ならそれは当てである fact12: 「あの腐植土は憎々しくないかもしくは納得し難くないかあるいはどちらもである」ということは偽だとすればあの御甲類は機影でない fact13: この御甲類は憎々しくなくておまけに納得し難くない
fact13 -> int1: この御甲類は納得し難くない; int1 -> int2: 納得し難くない物はある; int2 & fact2 -> int3: 「あの腐植土は機影であるということはないかまたは振り回せないかどちらもである」ということは成り立たない; int3 & fact7 -> hypothesis;
あの江戸弁は憎々しくない
fact17 -> int4: もしも「その国民保健サービスは当てだ」ということは確かであるとしたらそれは嫌らしい;
$facts$ = fact1: ある物は納得し難い fact2: もし「納得し難くない」物はあれば「あの腐植土は機影でないかもしくはそれは振り回せないかまたは両方ともである」ということは偽である fact3: 「仮にその国民保健サービスが自己修正であるならその国民保健サービスは親切だ」ということは本当だ fact4: 当ては嫌らしい fact5: もし仮にこの御甲類が機影でなくて更に振り回せないとするとあの値打ち物は納得し難くない fact6: 「機影である」物はある fact7: もし「あの腐植土は機影でないかあるいは振り回せないかもしくは両方ともだ」ということは誤りだとするとあの値打ち物は考え辛くない fact8: もしも「「あの値打ち物は考え辛くないかまたはそれは振り回せないかもしくは両方ともである」ということは嘘だ」ということは正しいとしたらあの腐植土は納得し難くない fact9: 「あの腐植土は納得し難くない」ということは成り立つなら「この御甲類が機影だししかもそれは憎々しい」ということは事実と異なる fact10: あの腐植土が嫌らしいしその上それは当てである fact11: もし仮にその国民保健サービスが親切ならそれは当てである fact12: 「あの腐植土は憎々しくないかもしくは納得し難くないかあるいはどちらもである」ということは偽だとすればあの御甲類は機影でない fact13: この御甲類は憎々しくなくておまけに納得し難くない ; $hypothesis$ = あの値打ち物は考え辛くない ; $proof$ = 
fact13 -> int1: この御甲類は納得し難くない; int1 -> int2: 納得し難くない物はある; int2 & fact2 -> int3: 「あの腐植土は機影であるということはないかまたは振り回せないかどちらもである」ということは成り立たない; int3 & fact7 -> hypothesis; __PROVED__
事実1: ある物は納得し難い
事実2: もし「納得し難くない」物はあれば「あの腐植土は機影でないかもしくはそれは振り回せないかまたは両方ともである」ということは偽である
事実3: 「仮にその国民保健サービスが自己修正であるならその国民保健サービスは親切だ」ということは本当だ
事実4: 当ては嫌らしい
事実5: もし仮にこの御甲類が機影でなくて更に振り回せないとするとあの値打ち物は納得し難くない
事実6: 「機影である」物はある
事実7: もし「あの腐植土は機影でないかあるいは振り回せないかもしくは両方ともだ」ということは誤りだとするとあの値打ち物は考え辛くない
事実8: もしも「「あの値打ち物は考え辛くないかまたはそれは振り回せないかもしくは両方ともである」ということは嘘だ」ということは正しいとしたらあの腐植土は納得し難くない
事実9: 「あの腐植土は納得し難くない」ということは成り立つなら「この御甲類が機影だししかもそれは憎々しい」ということは事実と異なる
事実10: あの腐植土が嫌らしいしその上それは当てである
事実11: もし仮にその国民保健サービスが親切ならそれは当てである
事実12: 「あの腐植土は憎々しくないかもしくは納得し難くないかあるいはどちらもである」ということは偽だとすればあの御甲類は機影でない
事実13: この御甲類は憎々しくなくておまけに納得し難くない

仮説: あの値打ち物は考え辛くない
1. 事実13から、推論1: "この御甲類は納得し難くない"が導かれる
2. 推論1から、推論2: "納得し難くない物はある"が導かれる
3. 推論2と事実2から、推論3: "「あの腐植土は機影であるということはないかまたは振り回せないかどちらもである」ということは成り立たない"が導かれる
4. 推論3と事実7から、仮説が導かれる

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