そのポリシリコンは図案化しない
fact1: 仮にあの従属階級が競り合わないならばそのアミノ酸配列データベースは祝うしそれは図案化する fact2: そのアミノ酸配列データベースは食い止める fact3: この広東貿易制度は食い止める fact4: もし仮に「「干渉パターンでないかまたは祝わないか両方である」ということは成り立たない」ものはあるとしたら「その千人同心隊は監視し易い」ということは本当である fact5: もし仮にその千人同心隊は監視し易いならば「そのポリシリコンは図案化しない」ということは成り立つということはない fact6: もし仮に何らかのものは食い止めないなら「監視し易いということはないか世知辛くないか両方である」ということは誤りである fact7: 「祝う」ものはある fact8: もしそのアミノ酸配列データベースが監視し易いならば祝う fact9: 仮にそのアミノ酸配列データベースは干渉パターンであるならば「あの従属階級は干渉パターンでないかもしくは祝わない」ということは誤りだ fact10: 「「干渉パターンでないかまたは祝うかどちらもだ」ということは嘘である」ものはある fact11: 仮になにかは祝うとしたら「干渉パターンであるしそれは食い止めない」ということは偽だ fact12: もしそのアミノ酸配列データベースが祝うとするとその戦争奴隷は食い止めないけれどそれは干渉パターンだ fact13: もしそのアミノ酸配列データベースが食い止めるとするとそれは干渉パターンである
fact13 & fact2 -> int1: そのアミノ酸配列データベースは干渉パターンである; int1 & fact9 -> int2: 「あの従属階級は干渉パターンでないか祝わないかまたは両方ともである」ということは間違いである; int2 -> int3: 「「干渉パターンでないか祝わない」ということは成り立たない」物はある; int3 & fact4 -> int4: その千人同心隊は監視し易い; int4 & fact5 -> hypothesis;
そのポリシリコンは図案化しない
fact14 -> int5: そのアミノ酸配列データベースは祝えば「干渉パターンだしそれは食い止めない」ということは誤りである;
$facts$ = fact1: 仮にあの従属階級が競り合わないならばそのアミノ酸配列データベースは祝うしそれは図案化する fact2: そのアミノ酸配列データベースは食い止める fact3: この広東貿易制度は食い止める fact4: もし仮に「「干渉パターンでないかまたは祝わないか両方である」ということは成り立たない」ものはあるとしたら「その千人同心隊は監視し易い」ということは本当である fact5: もし仮にその千人同心隊は監視し易いならば「そのポリシリコンは図案化しない」ということは成り立つということはない fact6: もし仮に何らかのものは食い止めないなら「監視し易いということはないか世知辛くないか両方である」ということは誤りである fact7: 「祝う」ものはある fact8: もしそのアミノ酸配列データベースが監視し易いならば祝う fact9: 仮にそのアミノ酸配列データベースは干渉パターンであるならば「あの従属階級は干渉パターンでないかもしくは祝わない」ということは誤りだ fact10: 「「干渉パターンでないかまたは祝うかどちらもだ」ということは嘘である」ものはある fact11: 仮になにかは祝うとしたら「干渉パターンであるしそれは食い止めない」ということは偽だ fact12: もしそのアミノ酸配列データベースが祝うとするとその戦争奴隷は食い止めないけれどそれは干渉パターンだ fact13: もしそのアミノ酸配列データベースが食い止めるとするとそれは干渉パターンである ; $hypothesis$ = そのポリシリコンは図案化しない ; $proof$ = 
fact13 & fact2 -> int1: そのアミノ酸配列データベースは干渉パターンである; int1 & fact9 -> int2: 「あの従属階級は干渉パターンでないか祝わないかまたは両方ともである」ということは間違いである; int2 -> int3: 「「干渉パターンでないか祝わない」ということは成り立たない」物はある; int3 & fact4 -> int4: その千人同心隊は監視し易い; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮にあの従属階級が競り合わないならばそのアミノ酸配列データベースは祝うしそれは図案化する
事実2: そのアミノ酸配列データベースは食い止める
事実3: この広東貿易制度は食い止める
事実4: もし仮に「「干渉パターンでないかまたは祝わないか両方である」ということは成り立たない」ものはあるとしたら「その千人同心隊は監視し易い」ということは本当である
事実5: もし仮にその千人同心隊は監視し易いならば「そのポリシリコンは図案化しない」ということは成り立つということはない
事実6: もし仮に何らかのものは食い止めないなら「監視し易いということはないか世知辛くないか両方である」ということは誤りである
事実7: 「祝う」ものはある
事実8: もしそのアミノ酸配列データベースが監視し易いならば祝う
事実9: 仮にそのアミノ酸配列データベースは干渉パターンであるならば「あの従属階級は干渉パターンでないかもしくは祝わない」ということは誤りだ
事実10: 「「干渉パターンでないかまたは祝うかどちらもだ」ということは嘘である」ものはある
事実11: 仮になにかは祝うとしたら「干渉パターンであるしそれは食い止めない」ということは偽だ
事実12: もしそのアミノ酸配列データベースが祝うとするとその戦争奴隷は食い止めないけれどそれは干渉パターンだ
事実13: もしそのアミノ酸配列データベースが食い止めるとするとそれは干渉パターンである

仮説: そのポリシリコンは図案化しない
1. 事実13と事実2から、推論1: "そのアミノ酸配列データベースは干渉パターンである"が導かれる
2. 推論1と事実9から、推論2: "「あの従属階級は干渉パターンでないか祝わないかまたは両方ともである」ということは間違いである"が導かれる
3. 推論2から、推論3: "「「干渉パターンでないか祝わない」ということは成り立たない」物はある"が導かれる
4. 推論3と事実4から、推論4: "その千人同心隊は監視し易い"が導かれる
5. 推論4と事実5から、仮説が否定される

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