この退路は観測装置でない
fact1: もしこのヒット作が打ち据えないけれど無効化出来ればそのアイヌ民族は無効化出来るということはない fact2: もし仮にある物は無効化出来るということはないとしたら「それは二付だということはなくてかつ描けない」ということは間違っている fact3: もしもこの退路が打ち据えない一方で観測装置だとすればこのヒット作は観測装置でない fact4: もしもそのアイヌ民族は描けないなら「それは観測装置であるということはないし更に無効化出来るということはない」ということは確かでない fact5: 「仮に「とあるものは打ち据えるけど落ちぶれない」ということは正しくないとするとそれは打ち据えない」ということは本当である fact6: もし「そのミネルヴァ書房は無理無くないかまたはそれは発展出来るということはないかあるいはどちらもだ」ということは成り立たないとすればその鎌は無理無い fact7: なんらかの物が命拾いしないなら剃らない fact8: もしもこのヒット作は剃らないとしたら「この退路は打ち据えるが落ちぶれない」ということは成り立たない fact9: もしも「「その鎌は如才無いが運行するということはない」ということは誤っている」ということは確かであるとしたらこのヒット作は命拾いするということはない fact10: とある物は無理無いなら「それは如才無いが運行しない」ということは成り立つということはない fact11: もし仮に何かは慨嘆するとすれば「それは咲かす」ということは成り立つ fact12: もしあるものが打ち据えるということはないとすればそれが観測装置だしそれにそれは無効化出来る fact13: もしも「そのアイヌ民族は二付でなくてそれは描けない」ということは真実でないとするとこの退路は観測装置でない fact14: 「もし何かは咲かすとしたら「それは無理無くないかまたはそれは発展出来るということはないかもしくは両方ともだ」ということは間違いである」ということは確かである fact15: この退路が観測装置でないけど二付であるとするとその需要量は二付だということはない fact16: もしもそのミネルヴァ書房が溢れればそれは慨嘆する fact17: このヒット作は打ち据えないがしかしそれは無効化出来る fact18: このヒット作は無効化出来ないとすると「それは描けなくて観測装置でない」ということは誤りだ
fact2 -> int1: 仮にそのアイヌ民族は無効化出来ないとしたら「それは二付でないしさらに描けるということはない」ということは成り立たない; fact17 & fact1 -> int2: 「そのアイヌ民族は無効化出来る」ということは間違いである; int1 & int2 -> int3: 「そのアイヌ民族は二付でないしその上描けない」ということは誤りである; int3 & fact13 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); fact17 & fact1 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ¬(¬{AA}{aa} & ¬{AB}{aa}); int3 & fact13 -> hypothesis;
この退路は観測装置だ
fact26 -> int4: 仮にこの退路が打ち据えないとしたらそれは観測装置であるししかも無効化出来る; fact25 -> int5: もし仮に「この退路は打ち据えるけれど落ちぶれない」ということは成り立たないならば打ち据えない; fact21 -> int6: もし仮にこのヒット作が命拾いしないとするとそれは剃らない; fact27 -> int7: もしその鎌は無理無いとすると「それは如才無いが運行するということはない」ということは嘘である; fact23 -> int8: そのミネルヴァ書房は咲かすとすれば「無理無くないかあるいは発展出来ないか両方だ」ということは本当であるということはない; fact22 -> int9: もしそのミネルヴァ書房が慨嘆すればそれは咲かす;
$facts$ = fact1: もしこのヒット作が打ち据えないけれど無効化出来ればそのアイヌ民族は無効化出来るということはない fact2: もし仮にある物は無効化出来るということはないとしたら「それは二付だということはなくてかつ描けない」ということは間違っている fact3: もしもこの退路が打ち据えない一方で観測装置だとすればこのヒット作は観測装置でない fact4: もしもそのアイヌ民族は描けないなら「それは観測装置であるということはないし更に無効化出来るということはない」ということは確かでない fact5: 「仮に「とあるものは打ち据えるけど落ちぶれない」ということは正しくないとするとそれは打ち据えない」ということは本当である fact6: もし「そのミネルヴァ書房は無理無くないかまたはそれは発展出来るということはないかあるいはどちらもだ」ということは成り立たないとすればその鎌は無理無い fact7: なんらかの物が命拾いしないなら剃らない fact8: もしもこのヒット作は剃らないとしたら「この退路は打ち据えるが落ちぶれない」ということは成り立たない fact9: もしも「「その鎌は如才無いが運行するということはない」ということは誤っている」ということは確かであるとしたらこのヒット作は命拾いするということはない fact10: とある物は無理無いなら「それは如才無いが運行しない」ということは成り立つということはない fact11: もし仮に何かは慨嘆するとすれば「それは咲かす」ということは成り立つ fact12: もしあるものが打ち据えるということはないとすればそれが観測装置だしそれにそれは無効化出来る fact13: もしも「そのアイヌ民族は二付でなくてそれは描けない」ということは真実でないとするとこの退路は観測装置でない fact14: 「もし何かは咲かすとしたら「それは無理無くないかまたはそれは発展出来るということはないかもしくは両方ともだ」ということは間違いである」ということは確かである fact15: この退路が観測装置でないけど二付であるとするとその需要量は二付だということはない fact16: もしもそのミネルヴァ書房が溢れればそれは慨嘆する fact17: このヒット作は打ち据えないがしかしそれは無効化出来る fact18: このヒット作は無効化出来ないとすると「それは描けなくて観測装置でない」ということは誤りだ ; $hypothesis$ = この退路は観測装置でない ; $proof$ = 
fact2 -> int1: 仮にそのアイヌ民族は無効化出来ないとしたら「それは二付でないしさらに描けるということはない」ということは成り立たない; fact17 & fact1 -> int2: 「そのアイヌ民族は無効化出来る」ということは間違いである; int1 & int2 -> int3: 「そのアイヌ民族は二付でないしその上描けない」ということは誤りである; int3 & fact13 -> hypothesis; __PROVED__
事実1: もしこのヒット作が打ち据えないけれど無効化出来ればそのアイヌ民族は無効化出来るということはない
事実2: もし仮にある物は無効化出来るということはないとしたら「それは二付だということはなくてかつ描けない」ということは間違っている
事実3: もしもこの退路が打ち据えない一方で観測装置だとすればこのヒット作は観測装置でない
事実4: もしもそのアイヌ民族は描けないなら「それは観測装置であるということはないし更に無効化出来るということはない」ということは確かでない
事実5: 「仮に「とあるものは打ち据えるけど落ちぶれない」ということは正しくないとするとそれは打ち据えない」ということは本当である
事実6: もし「そのミネルヴァ書房は無理無くないかまたはそれは発展出来るということはないかあるいはどちらもだ」ということは成り立たないとすればその鎌は無理無い
事実7: なんらかの物が命拾いしないなら剃らない
事実8: もしもこのヒット作は剃らないとしたら「この退路は打ち据えるが落ちぶれない」ということは成り立たない
事実9: もしも「「その鎌は如才無いが運行するということはない」ということは誤っている」ということは確かであるとしたらこのヒット作は命拾いするということはない
事実10: とある物は無理無いなら「それは如才無いが運行しない」ということは成り立つということはない
事実11: もし仮に何かは慨嘆するとすれば「それは咲かす」ということは成り立つ
事実12: もしあるものが打ち据えるということはないとすればそれが観測装置だしそれにそれは無効化出来る
事実13: もしも「そのアイヌ民族は二付でなくてそれは描けない」ということは真実でないとするとこの退路は観測装置でない
事実14: 「もし何かは咲かすとしたら「それは無理無くないかまたはそれは発展出来るということはないかもしくは両方ともだ」ということは間違いである」ということは確かである
事実15: この退路が観測装置でないけど二付であるとするとその需要量は二付だということはない
事実16: もしもそのミネルヴァ書房が溢れればそれは慨嘆する
事実17: このヒット作は打ち据えないがしかしそれは無効化出来る
事実18: このヒット作は無効化出来ないとすると「それは描けなくて観測装置でない」ということは誤りだ

仮説: この退路は観測装置でない
1. 事実2から、推論1: "仮にそのアイヌ民族は無効化出来ないとしたら「それは二付でないしさらに描けるということはない」ということは成り立たない"が導かれる
2. 事実17と事実1から、推論2: "「そのアイヌ民族は無効化出来る」ということは間違いである"が導かれる
3. 推論1と推論2から、推論3: "「そのアイヌ民族は二付でないしその上描けない」ということは誤りである"が導かれる
4. 推論3と事実13から、仮説が導かれる

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