「「来難い」ということは本当な」ものはある
fact1: もし仮に「その忠義は閉架式でないがしかし感得す」ということは偽だとしたら「それは感得すらない」ということは本当だ fact2: 「「痛々しくない」ということは本当である」ものはある fact3: この洋学所は限り無くない fact4: 「その忠義は閉架式でないがしかしそれは感得す」ということは成り立たない fact5: もしもなにがしかの物が反省すなら限り無い fact6: この洋学所は感得すらない fact7: もしこの洋学所が感得すらないししかもしかとしないならその忠義は居眠りする fact8: もし何らかのものが痛々しくないならこの洋学所は押さえ難くないしまた居眠りしない fact9: 仮にその鑑定評価書が閉架式であるとしたらその忠義は反省す fact10: もしなにがしかのものが居眠りすれば感得す fact11: この洋学所は意地悪くないし更に限り無くない fact12: とあるものは感得すらない fact13: 「その忠義は限り無くないがしかし閉架式である」ということは成り立たない fact14: 仮に「その鑑定評価書は限り無い」ということは真実であるならばその移相器は来難い fact15: なんらかの物は受け辛い fact16: 「「「その鑑定評価書は感得すらないけれど限り無い」ということは真実である」ということは正しくない」ということは成り立つなら「限り無くない」ということは誤りでない fact17: この洋学所が押さえ難くなくて加えて居眠りしないとするとその忠義はしかとしない fact18: 「仮にその忠義が感得すということはなくてしかも限り無くないならその鑑定評価書はしかとしない」ということは成り立つ fact19: その鑑定評価書は偏り易くないしおまけに共鳴し合わない fact20: その鑑定評価書が押さえ難いならば限り無い fact21: もしその忠義がしかとしないしまた感得すということはないとすれば「その鑑定評価書は反省す」ということは確かである fact22: 「その忠義は居眠りしない一方で感得す」ということは嘘だとするとそれは感得すということはない fact23: その移相器がしかとするとしたらそれは来難い fact24: この洋学所は感得すらないし居眠りしない
fact2 & fact8 -> int1: この洋学所は押さえ難くなくて加えて居眠りしない; int1 & fact17 -> int2: その忠義はしかとしない; fact1 & fact4 -> int3: その忠義は感得すらない; int2 & int3 -> int4: その忠義はしかとしなくて更に感得すらない; int4 & fact21 -> int5: その鑑定評価書は反省す; fact5 -> int6: もし仮にその鑑定評価書が反省すとすると限り無い; int5 & int6 -> int7: その鑑定評価書は限り無い; int7 & fact14 -> int8: その移相器は来難い; int8 -> hypothesis;
$facts$ = fact1: もし仮に「その忠義は閉架式でないがしかし感得す」ということは偽だとしたら「それは感得すらない」ということは本当だ fact2: 「「痛々しくない」ということは本当である」ものはある fact3: この洋学所は限り無くない fact4: 「その忠義は閉架式でないがしかしそれは感得す」ということは成り立たない fact5: もしもなにがしかの物が反省すなら限り無い fact6: この洋学所は感得すらない fact7: もしこの洋学所が感得すらないししかもしかとしないならその忠義は居眠りする fact8: もし何らかのものが痛々しくないならこの洋学所は押さえ難くないしまた居眠りしない fact9: 仮にその鑑定評価書が閉架式であるとしたらその忠義は反省す fact10: もしなにがしかのものが居眠りすれば感得す fact11: この洋学所は意地悪くないし更に限り無くない fact12: とあるものは感得すらない fact13: 「その忠義は限り無くないがしかし閉架式である」ということは成り立たない fact14: 仮に「その鑑定評価書は限り無い」ということは真実であるならばその移相器は来難い fact15: なんらかの物は受け辛い fact16: 「「「その鑑定評価書は感得すらないけれど限り無い」ということは真実である」ということは正しくない」ということは成り立つなら「限り無くない」ということは誤りでない fact17: この洋学所が押さえ難くなくて加えて居眠りしないとするとその忠義はしかとしない fact18: 「仮にその忠義が感得すということはなくてしかも限り無くないならその鑑定評価書はしかとしない」ということは成り立つ fact19: その鑑定評価書は偏り易くないしおまけに共鳴し合わない fact20: その鑑定評価書が押さえ難いならば限り無い fact21: もしその忠義がしかとしないしまた感得すということはないとすれば「その鑑定評価書は反省す」ということは確かである fact22: 「その忠義は居眠りしない一方で感得す」ということは嘘だとするとそれは感得すということはない fact23: その移相器がしかとするとしたらそれは来難い fact24: この洋学所は感得すらないし居眠りしない ; $hypothesis$ = 「「来難い」ということは本当な」ものはある ; $proof$ = 
fact2 & fact8 -> int1: この洋学所は押さえ難くなくて加えて居眠りしない; int1 & fact17 -> int2: その忠義はしかとしない; fact1 & fact4 -> int3: その忠義は感得すらない; int2 & int3 -> int4: その忠義はしかとしなくて更に感得すらない; int4 & fact21 -> int5: その鑑定評価書は反省す; fact5 -> int6: もし仮にその鑑定評価書が反省すとすると限り無い; int5 & int6 -> int7: その鑑定評価書は限り無い; int7 & fact14 -> int8: その移相器は来難い; int8 -> hypothesis; __PROVED__
事実1: もし仮に「その忠義は閉架式でないがしかし感得す」ということは偽だとしたら「それは感得すらない」ということは本当だ
事実2: 「「痛々しくない」ということは本当である」ものはある
事実3: この洋学所は限り無くない
事実4: 「その忠義は閉架式でないがしかしそれは感得す」ということは成り立たない
事実5: もしもなにがしかの物が反省すなら限り無い
事実6: この洋学所は感得すらない
事実7: もしこの洋学所が感得すらないししかもしかとしないならその忠義は居眠りする
事実8: もし何らかのものが痛々しくないならこの洋学所は押さえ難くないしまた居眠りしない
事実9: 仮にその鑑定評価書が閉架式であるとしたらその忠義は反省す
事実10: もしなにがしかのものが居眠りすれば感得す
事実11: この洋学所は意地悪くないし更に限り無くない
事実12: とあるものは感得すらない
事実13: 「その忠義は限り無くないがしかし閉架式である」ということは成り立たない
事実14: 仮に「その鑑定評価書は限り無い」ということは真実であるならばその移相器は来難い
事実15: なんらかの物は受け辛い
事実16: 「「「その鑑定評価書は感得すらないけれど限り無い」ということは真実である」ということは正しくない」ということは成り立つなら「限り無くない」ということは誤りでない
事実17: この洋学所が押さえ難くなくて加えて居眠りしないとするとその忠義はしかとしない
事実18: 「仮にその忠義が感得すということはなくてしかも限り無くないならその鑑定評価書はしかとしない」ということは成り立つ
事実19: その鑑定評価書は偏り易くないしおまけに共鳴し合わない
事実20: その鑑定評価書が押さえ難いならば限り無い
事実21: もしその忠義がしかとしないしまた感得すということはないとすれば「その鑑定評価書は反省す」ということは確かである
事実22: 「その忠義は居眠りしない一方で感得す」ということは嘘だとするとそれは感得すということはない
事実23: その移相器がしかとするとしたらそれは来難い
事実24: この洋学所は感得すらないし居眠りしない

仮説: 「「来難い」ということは本当な」ものはある
1. 事実2と事実8から、推論1: "この洋学所は押さえ難くなくて加えて居眠りしない"が導かれる
2. 推論1と事実17から、推論2: "その忠義はしかとしない"が導かれる
3. 事実1と事実4から、推論3: "その忠義は感得すらない"が導かれる
4. 推論2と推論3から、推論4: "その忠義はしかとしなくて更に感得すらない"が導かれる
5. 推論4と事実21から、推論5: "その鑑定評価書は反省す"が導かれる
6. 事実5から、推論6: "もし仮にその鑑定評価書が反省すとすると限り無い"が導かれる
7. 推論5と推論6から、推論7: "その鑑定評価書は限り無い"が導かれる
8. 推論7と事実14から、推論8: "その移相器は来難い"が導かれる
9. 推論8から、仮説が導かれる

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