この画像診断装置は行き来しない
fact1: 「この画像診断装置は過換気であるしそれは阻喪だ」ということは間違いだ fact2: この正面図は過換気でない fact3: 仮に「この画像診断装置は対応するということはない一方で口汚い」ということは成り立たないとしたらそれは再読しない fact4: もし仮にこの正面図は曲舞でないならば「口汚くない」ということは確かだ fact5: この正面図は口汚くないとすると「この画像診断装置は対応するししかもそれは口汚い」ということは成り立たない fact6: この正面図は日本オープンだけどもどかしくない fact7: もし「なにがしかのものは過換気であるけれど阻喪でない」ということは間違っているとすればそれは行き来するない fact8: もし仮にこの正面図が日本オープンであるがもどかしいということはないとすれば「曲舞でない」ということは偽でない fact9: 仮に「この正面図は過換気であるし更に再読する」ということは誤っているとするとそれは対応しない fact10: もし仮に「この正面図は対応しない」ということは本当であるならばあの画像診断装置は口汚いか曲舞である fact11: この正面図は口汚くないなら「この画像診断装置は対応しないがしかし口汚い」ということは誤っている fact12: 「この画像診断装置は対応するし口汚い」ということは事実と異なる fact13: もしこの画像診断装置は再読しないならば「過換気であるしそれは阻喪でない」ということは嘘である fact14: もし「この画像診断装置は阻喪だ」ということは正しいとするとそれは行き来するということはない fact15: この画像診断装置は再読しないとすれば「過換気で加えてそれは阻喪である」ということは成り立たない fact16: 仮にこの画像診断装置が対応すれば再読しない fact17: この正面図はもどかしいということはない
fact8 & fact6 -> int1: この正面図は曲舞でない; int1 & fact4 -> int2: この正面図は口汚くない; int2 & fact11 -> int3: 「この画像診断装置は対応するということはないがしかしそれは口汚い」ということは成り立たない; int3 & fact3 -> int4: この画像診断装置は再読しない; int4 & fact13 -> int5: 「この画像診断装置は過換気である一方で阻喪でない」ということは成り立たない; fact7 -> int6: もし仮に「この画像診断装置は過換気だけれど阻喪でない」ということは誤りであるとしたら「それは行き来するない」ということは成り立つ; int5 & int6 -> hypothesis;
この画像診断装置は行き来する
$facts$ = fact1: 「この画像診断装置は過換気であるしそれは阻喪だ」ということは間違いだ fact2: この正面図は過換気でない fact3: 仮に「この画像診断装置は対応するということはない一方で口汚い」ということは成り立たないとしたらそれは再読しない fact4: もし仮にこの正面図は曲舞でないならば「口汚くない」ということは確かだ fact5: この正面図は口汚くないとすると「この画像診断装置は対応するししかもそれは口汚い」ということは成り立たない fact6: この正面図は日本オープンだけどもどかしくない fact7: もし「なにがしかのものは過換気であるけれど阻喪でない」ということは間違っているとすればそれは行き来するない fact8: もし仮にこの正面図が日本オープンであるがもどかしいということはないとすれば「曲舞でない」ということは偽でない fact9: 仮に「この正面図は過換気であるし更に再読する」ということは誤っているとするとそれは対応しない fact10: もし仮に「この正面図は対応しない」ということは本当であるならばあの画像診断装置は口汚いか曲舞である fact11: この正面図は口汚くないなら「この画像診断装置は対応しないがしかし口汚い」ということは誤っている fact12: 「この画像診断装置は対応するし口汚い」ということは事実と異なる fact13: もしこの画像診断装置は再読しないならば「過換気であるしそれは阻喪でない」ということは嘘である fact14: もし「この画像診断装置は阻喪だ」ということは正しいとするとそれは行き来するということはない fact15: この画像診断装置は再読しないとすれば「過換気で加えてそれは阻喪である」ということは成り立たない fact16: 仮にこの画像診断装置が対応すれば再読しない fact17: この正面図はもどかしいということはない ; $hypothesis$ = この画像診断装置は行き来しない ; $proof$ = 
fact8 & fact6 -> int1: この正面図は曲舞でない; int1 & fact4 -> int2: この正面図は口汚くない; int2 & fact11 -> int3: 「この画像診断装置は対応するということはないがしかしそれは口汚い」ということは成り立たない; int3 & fact3 -> int4: この画像診断装置は再読しない; int4 & fact13 -> int5: 「この画像診断装置は過換気である一方で阻喪でない」ということは成り立たない; fact7 -> int6: もし仮に「この画像診断装置は過換気だけれど阻喪でない」ということは誤りであるとしたら「それは行き来するない」ということは成り立つ; int5 & int6 -> hypothesis; __PROVED__
事実1: 「この画像診断装置は過換気であるしそれは阻喪だ」ということは間違いだ
事実2: この正面図は過換気でない
事実3: 仮に「この画像診断装置は対応するということはない一方で口汚い」ということは成り立たないとしたらそれは再読しない
事実4: もし仮にこの正面図は曲舞でないならば「口汚くない」ということは確かだ
事実5: この正面図は口汚くないとすると「この画像診断装置は対応するししかもそれは口汚い」ということは成り立たない
事実6: この正面図は日本オープンだけどもどかしくない
事実7: もし「なにがしかのものは過換気であるけれど阻喪でない」ということは間違っているとすればそれは行き来するない
事実8: もし仮にこの正面図が日本オープンであるがもどかしいということはないとすれば「曲舞でない」ということは偽でない
事実9: 仮に「この正面図は過換気であるし更に再読する」ということは誤っているとするとそれは対応しない
事実10: もし仮に「この正面図は対応しない」ということは本当であるならばあの画像診断装置は口汚いか曲舞である
事実11: この正面図は口汚くないなら「この画像診断装置は対応しないがしかし口汚い」ということは誤っている
事実12: 「この画像診断装置は対応するし口汚い」ということは事実と異なる
事実13: もしこの画像診断装置は再読しないならば「過換気であるしそれは阻喪でない」ということは嘘である
事実14: もし「この画像診断装置は阻喪だ」ということは正しいとするとそれは行き来するということはない
事実15: この画像診断装置は再読しないとすれば「過換気で加えてそれは阻喪である」ということは成り立たない
事実16: 仮にこの画像診断装置が対応すれば再読しない
事実17: この正面図はもどかしいということはない

仮説: この画像診断装置は行き来しない
1. 事実8と事実6から、推論1: "この正面図は曲舞でない"が導かれる
2. 推論1と事実4から、推論2: "この正面図は口汚くない"が導かれる
3. 推論2と事実11から、推論3: "「この画像診断装置は対応するということはないがしかしそれは口汚い」ということは成り立たない"が導かれる
4. 推論3と事実3から、推論4: "この画像診断装置は再読しない"が導かれる
5. 推論4と事実13から、推論5: "「この画像診断装置は過換気である一方で阻喪でない」ということは成り立たない"が導かれる
6. 事実7から、推論6: "もし仮に「この画像診断装置は過換気だけれど阻喪でない」ということは誤りであるとしたら「それは行き来するない」ということは成り立つ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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