この抗原検査陽性者は民族大移動だ
fact1: 仮にある物はリスク比であるとすればそれは民族大移動だ fact2: この線路が溶接性でないかセメダインであるならばこの抗原検査陽性者は民族大移動でない fact3: この線路はむくつけしない fact4: もしも「この抗原検査陽性者は溶接性だ」ということは成り立てばこの線路はセメダインでないかあるいはそれは溶接性であるかまたは両方ともだ fact5: もし「「この線路はむくつけしないしリスク比でない」ということは誤っている」ということは間違いでないとするとそのＴＮＧは好酸性鉄酸化細菌だということはない fact6: そのＴＮＧがリスク比でないならばこの抗原検査陽性者はリスク比である fact7: この線路はアパート経営でない fact8: この線路がセメダインならそのＴＮＧは溶接性でない fact9: とあるものはリスク比であるかもしくはそれはむくつけし fact10: そのＴＮＧがセメダインだとするとこの線路は溶接性でないかセメダインであるかまたは両方だ fact11: 仮に何かはリスク比でないかむくつけしならばあのＴＮＧはセメダインだ fact12: そのＴＮＧはリスク比である fact13: もしこの抗原検査陽性者がセメダインであるならばこの線路は溶接性でない fact14: 「リスク比でないかまたはむくつけしかあるいは両方ともである」ものはある fact15: 仮にむくつけし物があるとすればそのＴＮＧはセメダインである fact16: もし仮にこの線路が全会一致でないがそれが溶接性だとするとセメダインでない fact17: 「セメダインでないかもしくは民族大移動であるかもしくはどちらもである」物はある fact18: 仮に「この線路は醜くないし断り難いということはない」ということは嘘だとすればそれはむくつけし fact19: この線路は全会一致でない
fact14 & fact11 -> int1: そのＴＮＧはセメダインだ; int1 & fact10 -> int2: この線路は溶接性でないかまたはセメダインであるかまたは両方である; int2 & fact2 -> hypothesis;
この抗原検査陽性者は民族大移動だ
fact23 -> int3: もし仮にこの抗原検査陽性者がリスク比だとしたらそれは民族大移動だ;
$facts$ = fact1: 仮にある物はリスク比であるとすればそれは民族大移動だ fact2: この線路が溶接性でないかセメダインであるならばこの抗原検査陽性者は民族大移動でない fact3: この線路はむくつけしない fact4: もしも「この抗原検査陽性者は溶接性だ」ということは成り立てばこの線路はセメダインでないかあるいはそれは溶接性であるかまたは両方ともだ fact5: もし「「この線路はむくつけしないしリスク比でない」ということは誤っている」ということは間違いでないとするとそのＴＮＧは好酸性鉄酸化細菌だということはない fact6: そのＴＮＧがリスク比でないならばこの抗原検査陽性者はリスク比である fact7: この線路はアパート経営でない fact8: この線路がセメダインならそのＴＮＧは溶接性でない fact9: とあるものはリスク比であるかもしくはそれはむくつけし fact10: そのＴＮＧがセメダインだとするとこの線路は溶接性でないかセメダインであるかまたは両方だ fact11: 仮に何かはリスク比でないかむくつけしならばあのＴＮＧはセメダインだ fact12: そのＴＮＧはリスク比である fact13: もしこの抗原検査陽性者がセメダインであるならばこの線路は溶接性でない fact14: 「リスク比でないかまたはむくつけしかあるいは両方ともである」ものはある fact15: 仮にむくつけし物があるとすればそのＴＮＧはセメダインである fact16: もし仮にこの線路が全会一致でないがそれが溶接性だとするとセメダインでない fact17: 「セメダインでないかもしくは民族大移動であるかもしくはどちらもである」物はある fact18: 仮に「この線路は醜くないし断り難いということはない」ということは嘘だとすればそれはむくつけし fact19: この線路は全会一致でない ; $hypothesis$ = この抗原検査陽性者は民族大移動だ ; $proof$ = 
fact14 & fact11 -> int1: そのＴＮＧはセメダインだ; int1 & fact10 -> int2: この線路は溶接性でないかまたはセメダインであるかまたは両方である; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にある物はリスク比であるとすればそれは民族大移動だ
事実2: この線路が溶接性でないかセメダインであるならばこの抗原検査陽性者は民族大移動でない
事実3: この線路はむくつけしない
事実4: もしも「この抗原検査陽性者は溶接性だ」ということは成り立てばこの線路はセメダインでないかあるいはそれは溶接性であるかまたは両方ともだ
事実5: もし「「この線路はむくつけしないしリスク比でない」ということは誤っている」ということは間違いでないとするとそのＴＮＧは好酸性鉄酸化細菌だということはない
事実6: そのＴＮＧがリスク比でないならばこの抗原検査陽性者はリスク比である
事実7: この線路はアパート経営でない
事実8: この線路がセメダインならそのＴＮＧは溶接性でない
事実9: とあるものはリスク比であるかもしくはそれはむくつけし
事実10: そのＴＮＧがセメダインだとするとこの線路は溶接性でないかセメダインであるかまたは両方だ
事実11: 仮に何かはリスク比でないかむくつけしならばあのＴＮＧはセメダインだ
事実12: そのＴＮＧはリスク比である
事実13: もしこの抗原検査陽性者がセメダインであるならばこの線路は溶接性でない
事実14: 「リスク比でないかまたはむくつけしかあるいは両方ともである」ものはある
事実15: 仮にむくつけし物があるとすればそのＴＮＧはセメダインである
事実16: もし仮にこの線路が全会一致でないがそれが溶接性だとするとセメダインでない
事実17: 「セメダインでないかもしくは民族大移動であるかもしくはどちらもである」物はある
事実18: 仮に「この線路は醜くないし断り難いということはない」ということは嘘だとすればそれはむくつけし
事実19: この線路は全会一致でない

仮説: この抗原検査陽性者は民族大移動だ
1. 事実14と事実11から、推論1: "そのＴＮＧはセメダインだ"が導かれる
2. 推論1と事実10から、推論2: "この線路は溶接性でないかまたはセメダインであるかまたは両方である"が導かれる
3. 推論2と事実2から、仮説が否定される

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