この先行性は責め苛まない
fact1: その船釣りは舌尖である fact2: 何かはトリプトファンであるならばあの船釣りは消化吸収され易い fact3: この星雲はトリプトファンだということはない fact4: その船釣りが勝てるしそれが生白いならこの星雲は舌尖でない fact5: 「この星雲は生白くないしさらに勝てない」ということは偽ならその船釣りは消化吸収され易い fact6: この星雲は生白いしそれに観察する fact7: 「「トリプトファンである」ということは確かな」ものはある fact8: もし仮に消化吸収され易いものがあるとすればあの船釣りは観察するし責め苛む fact9: もしもあの百万円特別控除は舌尖だとすると「この星雲は生白くないしその上勝てない」ということは成り立たない fact10: この星雲は舌尖だしまた観察する fact11: 仮にこの万全は観察しないとしたら「その遺体保管所は涼しかなくて舌尖であるということはない」ということは成り立たない fact12: この星雲は歌舞伎っぽい fact13: もし仮に「総合法律支援法でない」物はあるとすると「この万全は観察するしかつ総合法律支援法である」ということは偽だ fact14: もしも「あるものは責め苛むけれどそれはトリプトファンでない」ということは誤りなら「責め苛まない」ということは真実だ fact15: 仮に「「トリプトファンである」ということは成り立つ」ものがあるならばあの船釣りは消化吸収され易い物でありその上勝てる fact16: もし仮にその船釣りが生白くないとすればこの先行性は責め苛む fact17: もし「なんらかのものは観察するしかつ総合法律支援法だ」ということは成り立たないとすればそれは観察しない fact18: この破局は総合法律支援法でない
fact7 & fact15 -> int1: その船釣りは消化吸収され易いし更に勝てる; int1 -> int2: 「その船釣りは勝てる」ということは確かだ; void -> assump1: 以下のように仮定する。その船釣りは生白い; int2 & assump1 -> int3: その船釣りは勝てるしそれにそれは生白い; int3 & fact4 -> int4: この星雲は舌尖でない; fact10 -> int5: この星雲は舌尖だ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その船釣りは生白くない; int7 & fact16 -> hypothesis;
この先行性は責め苛まない
fact24 -> int8: 「この先行性は責め苛むけどトリプトファンでない」ということは成り立たないとしたら責め苛まない; fact25 -> int9: 仮に「「この万全は観察するしおまけに総合法律支援法だ」ということは成り立つ」ということは誤っているとしたらそれは観察するということはない; fact22 -> int10: 「総合法律支援法でない」物はある; int10 & fact20 -> int11: 「「この万全は観察するしまた総合法律支援法である」ということは正しい」ということは成り立たない; int9 & int11 -> int12: この万全は観察しない; fact23 & int12 -> int13: 「その遺体保管所は涼しいということはないし舌尖でない」ということは誤っている; int13 -> int14: 「「涼しかないし舌尖でない」ということは成り立たない」ものはある;
$facts$ = fact1: その船釣りは舌尖である fact2: 何かはトリプトファンであるならばあの船釣りは消化吸収され易い fact3: この星雲はトリプトファンだということはない fact4: その船釣りが勝てるしそれが生白いならこの星雲は舌尖でない fact5: 「この星雲は生白くないしさらに勝てない」ということは偽ならその船釣りは消化吸収され易い fact6: この星雲は生白いしそれに観察する fact7: 「「トリプトファンである」ということは確かな」ものはある fact8: もし仮に消化吸収され易いものがあるとすればあの船釣りは観察するし責め苛む fact9: もしもあの百万円特別控除は舌尖だとすると「この星雲は生白くないしその上勝てない」ということは成り立たない fact10: この星雲は舌尖だしまた観察する fact11: 仮にこの万全は観察しないとしたら「その遺体保管所は涼しかなくて舌尖であるということはない」ということは成り立たない fact12: この星雲は歌舞伎っぽい fact13: もし仮に「総合法律支援法でない」物はあるとすると「この万全は観察するしかつ総合法律支援法である」ということは偽だ fact14: もしも「あるものは責め苛むけれどそれはトリプトファンでない」ということは誤りなら「責め苛まない」ということは真実だ fact15: 仮に「「トリプトファンである」ということは成り立つ」ものがあるならばあの船釣りは消化吸収され易い物でありその上勝てる fact16: もし仮にその船釣りが生白くないとすればこの先行性は責め苛む fact17: もし「なんらかのものは観察するしかつ総合法律支援法だ」ということは成り立たないとすればそれは観察しない fact18: この破局は総合法律支援法でない ; $hypothesis$ = この先行性は責め苛まない ; $proof$ = 
fact7 & fact15 -> int1: その船釣りは消化吸収され易いし更に勝てる; int1 -> int2: 「その船釣りは勝てる」ということは確かだ; void -> assump1: 以下のように仮定する。その船釣りは生白い; int2 & assump1 -> int3: その船釣りは勝てるしそれにそれは生白い; int3 & fact4 -> int4: この星雲は舌尖でない; fact10 -> int5: この星雲は舌尖だ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その船釣りは生白くない; int7 & fact16 -> hypothesis; __DISPROVED__
事実1: その船釣りは舌尖である
事実2: 何かはトリプトファンであるならばあの船釣りは消化吸収され易い
事実3: この星雲はトリプトファンだということはない
事実4: その船釣りが勝てるしそれが生白いならこの星雲は舌尖でない
事実5: 「この星雲は生白くないしさらに勝てない」ということは偽ならその船釣りは消化吸収され易い
事実6: この星雲は生白いしそれに観察する
事実7: 「「トリプトファンである」ということは確かな」ものはある
事実8: もし仮に消化吸収され易いものがあるとすればあの船釣りは観察するし責め苛む
事実9: もしもあの百万円特別控除は舌尖だとすると「この星雲は生白くないしその上勝てない」ということは成り立たない
事実10: この星雲は舌尖だしまた観察する
事実11: 仮にこの万全は観察しないとしたら「その遺体保管所は涼しかなくて舌尖であるということはない」ということは成り立たない
事実12: この星雲は歌舞伎っぽい
事実13: もし仮に「総合法律支援法でない」物はあるとすると「この万全は観察するしかつ総合法律支援法である」ということは偽だ
事実14: もしも「あるものは責め苛むけれどそれはトリプトファンでない」ということは誤りなら「責め苛まない」ということは真実だ
事実15: 仮に「「トリプトファンである」ということは成り立つ」ものがあるならばあの船釣りは消化吸収され易い物でありその上勝てる
事実16: もし仮にその船釣りが生白くないとすればこの先行性は責め苛む
事実17: もし「なんらかのものは観察するしかつ総合法律支援法だ」ということは成り立たないとすればそれは観察しない
事実18: この破局は総合法律支援法でない

仮説: この先行性は責め苛まない
1. 事実7と事実15から、推論1: "その船釣りは消化吸収され易いし更に勝てる"が導かれる
2. 推論1から、推論2: "「その船釣りは勝てる」ということは確かだ"が導かれる
3. 仮定1: 以下のように仮定する。その船釣りは生白い
4. 推論2と仮定1から、推論3: "その船釣りは勝てるしそれにそれは生白い"が導かれる
5. 推論3と事実4から、推論4: "この星雲は舌尖でない"が導かれる
6. 事実10から、推論5: "この星雲は舌尖だ"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その船釣りは生白くない"が導かれる
9. 推論7と事実16から、仮説が否定される

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