その躍起はＡ地点だ
fact1: 「その躍起は忘れ難い」ということは本当である fact2: 仮にその躍起は生えるし可笑しとするとそれは忘れ難くない fact3: その躍起は一連空であるし忘れ難い fact4: 仮に「なんらかの物は引き返せない」ということは確かであるとしたらあの待ち合い茶屋は深刻化であるかまたはＡ地点であるかもしくはどちらもである fact5: もしこの認定要件は彼女らしいとしたら「それは香らないかまたはそれは行い易い」ということは成り立たない fact6: この気苦労は忘れ難くない fact7: もしも「なにがしかのものは香らないかもしくはそれは行い易いかどちらもだ」ということは成り立つということはないならば近付き難くない fact8: もしもこの認定要件が近付き難いということはないとしたらその修理地は膝先でなくてしかも子馬達でない fact9: もし「なにがしかのものは治山でその上賢しい」ということは成り立たないなら「それは引き返せるということはない」ということは間違いでない fact10: 何らかの物は治山でないならば引き返せない fact11: この認定要件は彼女らしい fact12: もし何かは引き返せるということはないとしたら「それはＡ地点であるしそれに深刻化である」ということは成り立たない fact13: もし仮にその躍起が一連空だし忘れ難いとしたらそれはＡ地点でない fact14: あるものは膝先でないならば「治山であるしそれに賢しい」ということは誤りである
fact13 & fact3 -> hypothesis;
その躍起はＡ地点だ
fact15 -> int1: もし「その修理地は治山であるし賢しい」ということは間違っているとするとそれは引き返せない; fact19 -> int2: もしもその修理地は膝先でないとしたら「治山であるしさらに賢しい」ということは誤っている; fact16 -> int3: 仮に「この認定要件は香るということはないかまたは行い易いかもしくは両方ともである」ということは正しくないとするとそれは近付き難くない; fact20 & fact17 -> int4: 「この認定要件は香るということはないかもしくはそれは行い易いか両方だ」ということは成り立たない; int3 & int4 -> int5: この認定要件は近付き難くない; fact18 & int5 -> int6: その修理地は膝先でなくてかつ子馬達でない; int6 -> int7: その修理地は膝先でない; int2 & int7 -> int8: 「その修理地は治山であるしその上それは賢しい」ということは偽である; int1 & int8 -> int9: 「その修理地は引き返せない」ということは確かである; int9 -> int10: なにがしかのものは引き返せない; int10 & fact21 -> int11: あの待ち合い茶屋は深刻化であるかまたはＡ地点であるかまたは両方ともだ;
$facts$ = fact1: 「その躍起は忘れ難い」ということは本当である fact2: 仮にその躍起は生えるし可笑しとするとそれは忘れ難くない fact3: その躍起は一連空であるし忘れ難い fact4: 仮に「なんらかの物は引き返せない」ということは確かであるとしたらあの待ち合い茶屋は深刻化であるかまたはＡ地点であるかもしくはどちらもである fact5: もしこの認定要件は彼女らしいとしたら「それは香らないかまたはそれは行い易い」ということは成り立たない fact6: この気苦労は忘れ難くない fact7: もしも「なにがしかのものは香らないかもしくはそれは行い易いかどちらもだ」ということは成り立つということはないならば近付き難くない fact8: もしもこの認定要件が近付き難いということはないとしたらその修理地は膝先でなくてしかも子馬達でない fact9: もし「なにがしかのものは治山でその上賢しい」ということは成り立たないなら「それは引き返せるということはない」ということは間違いでない fact10: 何らかの物は治山でないならば引き返せない fact11: この認定要件は彼女らしい fact12: もし何かは引き返せるということはないとしたら「それはＡ地点であるしそれに深刻化である」ということは成り立たない fact13: もし仮にその躍起が一連空だし忘れ難いとしたらそれはＡ地点でない fact14: あるものは膝先でないならば「治山であるしそれに賢しい」ということは誤りである ; $hypothesis$ = その躍起はＡ地点だ ; $proof$ = 
fact13 & fact3 -> hypothesis; __DISPROVED__
事実1: 「その躍起は忘れ難い」ということは本当である
事実2: 仮にその躍起は生えるし可笑しとするとそれは忘れ難くない
事実3: その躍起は一連空であるし忘れ難い
事実4: 仮に「なんらかの物は引き返せない」ということは確かであるとしたらあの待ち合い茶屋は深刻化であるかまたはＡ地点であるかもしくはどちらもである
事実5: もしこの認定要件は彼女らしいとしたら「それは香らないかまたはそれは行い易い」ということは成り立たない
事実6: この気苦労は忘れ難くない
事実7: もしも「なにがしかのものは香らないかもしくはそれは行い易いかどちらもだ」ということは成り立つということはないならば近付き難くない
事実8: もしもこの認定要件が近付き難いということはないとしたらその修理地は膝先でなくてしかも子馬達でない
事実9: もし「なにがしかのものは治山でその上賢しい」ということは成り立たないなら「それは引き返せるということはない」ということは間違いでない
事実10: 何らかの物は治山でないならば引き返せない
事実11: この認定要件は彼女らしい
事実12: もし何かは引き返せるということはないとしたら「それはＡ地点であるしそれに深刻化である」ということは成り立たない
事実13: もし仮にその躍起が一連空だし忘れ難いとしたらそれはＡ地点でない
事実14: あるものは膝先でないならば「治山であるしそれに賢しい」ということは誤りである

仮説: その躍起はＡ地点だ
1. 事実13と事実3から、仮説が否定される

よって、仮説が否定されました。