あの二人一緒は書き添えない
fact1: あの二人一緒が近寄り難いとするとそれは書き添える fact2: もしあるものは算定し難くないならば「それは図り難くないしおまけに近寄り難くない」ということは事実と異なる fact3: もし仮にそのフォントコードはストロンチウムであるということはないがしかし行けるとすれば指弾する fact4: もしもその新橋ステーションが近寄り難くないなら科学的管理法殺人事件だということはない fact5: もしなにがしかの物は科学的管理法殺人事件だとしたら「それは図り難い」ということは成り立つ fact6: もし仮にこの合法性が指弾すればその新橋ステーションは得られ易い fact7: その周長は経済分析でない fact8: もしも「この肩口は図り難くないし近寄り難くない」ということは間違いであるならばその半植民地中国は近寄り難くない fact9: もしもあの二人一緒が経済分析であるということはないならこの肩口は算定し難くない fact10: 「この肩口は図り難い」ということは事実である fact11: もしあの二人一緒が科学的管理法殺人事件であるとすればその新橋ステーションは算定し難い fact12: もし仮にこの肩口が経済分析ならば近寄り難い fact13: もし仮にこの肩口が近寄り難いならばその新橋ステーションは図り難くない fact14: もし仮にその新橋ステーションが得られ易くてかつ算定し難いとしたらこの肩口は算定し難くない fact15: もし「その半植民地中国は近寄り難くない」ということは真実であるとすると「経済分析だし出来難い」ということは間違いだ fact16: その新橋ステーションが押さえ難くないならそれは算定し難いししかも科学的管理法殺人事件である fact17: 仮にその新橋ステーションは出来難いとすれば「その半植民地中国は図り難い」ということは成り立つ fact18: その半植民地中国が科学的管理法殺人事件だとするとそれは除草体系である fact19: もしもその半植民地中国が出来難くないとするとあの二人一緒は算定し難くない fact20: もしもとある物は算定し難くないとすれば近寄り難くない fact21: 仮にその半植民地中国が出来難いとしたらこの肩口は経済分析である fact22: 算定し難くない物は書き添えない fact23: あの二人一緒は経済分析だ fact24: そのフォントコードが指弾するとしたらこの合法性は指弾する fact25: その新橋ステーションは科学的管理法殺人事件である fact26: 経済分析は出来難い
void -> assump1: 以下のように仮定する。その半植民地中国は出来難い; fact21 & assump1 -> int1: この肩口は経済分析である; int1 & fact12 -> int2: 「この肩口は近寄り難い」ということは事実である; int2 & fact13 -> int3: 「その新橋ステーションは図り難くない」ということは成り立つ; fact5 -> int4: もし仮にその新橋ステーションは科学的管理法殺人事件なら「図り難い」ということは間違いであるということはない; fact25 & int4 -> int5: その新橋ステーションは図り難い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その半植民地中国は出来難くない; int7 & fact19 -> int8: 「あの二人一緒は算定し難くない」ということは確かだ; fact22 -> int9: あの二人一緒は算定し難くないとすると書き添えない; int8 & int9 -> hypothesis;
あの二人一緒は書き添える
fact29 -> int10: この肩口は算定し難くないとすれば「それは図り難くないしそれに近寄り難くない」ということは嘘である;
$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: そのフォントコードが指弾するとしたらこの合法性は指弾する fact25: その新橋ステーションは科学的管理法殺人事件である fact26: 経済分析は出来難い ; $hypothesis$ = あの二人一緒は書き添えない ; $proof$ = 
void -> assump1: 以下のように仮定する。その半植民地中国は出来難い; fact21 & assump1 -> int1: この肩口は経済分析である; int1 & fact12 -> int2: 「この肩口は近寄り難い」ということは事実である; int2 & fact13 -> int3: 「その新橋ステーションは図り難くない」ということは成り立つ; fact5 -> int4: もし仮にその新橋ステーションは科学的管理法殺人事件なら「図り難い」ということは間違いであるということはない; fact25 & int4 -> int5: その新橋ステーションは図り難い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その半植民地中国は出来難くない; int7 & fact19 -> int8: 「あの二人一緒は算定し難くない」ということは確かだ; fact22 -> int9: あの二人一緒は算定し難くないとすると書き添えない; int8 & int9 -> 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: そのフォントコードが指弾するとしたらこの合法性は指弾する
事実25: その新橋ステーションは科学的管理法殺人事件である
事実26: 経済分析は出来難い

仮説: あの二人一緒は書き添えない
1. 仮定1: 以下のように仮定する。その半植民地中国は出来難い
2. 事実21と仮定1から、推論1: "この肩口は経済分析である"が導かれる
3. 推論1と事実12から、推論2: "「この肩口は近寄り難い」ということは事実である"が導かれる
4. 推論2と事実13から、推論3: "「その新橋ステーションは図り難くない」ということは成り立つ"が導かれる
5. 事実5から、推論4: "もし仮にその新橋ステーションは科学的管理法殺人事件なら「図り難い」ということは間違いであるということはない"が導かれる
6. 事実25と推論4から、推論5: "その新橋ステーションは図り難い"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その半植民地中国は出来難くない"が導かれる
9. 推論7と事実19から、推論8: "「あの二人一緒は算定し難くない」ということは確かだ"が導かれる
10. 事実22から、推論9: "あの二人一緒は算定し難くないとすると書き添えない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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