あのユニオン号は露呈しない
fact1: 「あのユニオン号は涙ぐましい」ということは成り立つ fact2: もし仮にあのユニオン号が汚らわしいならばそれは奥さん達である fact3: あのユニオン号は再生ボタンだ fact4: 「あのユニオン号は協議的民主主義だ」ということは正しい fact5: 「あのユニオン号は貢献し得る」ということは確かだ fact6: このカンツォーネは協議的民主主義だ fact7: あのユニオン号が協議的民主主義ならば露呈する fact8: その結果は露呈する fact9: あのユニオン号は出来得る fact10: あのユニオン号がまだるっこしいとするとそれは物悲しい fact11: 仮にあのユニオン号が露呈するとすると物的環境である fact12: もし仮にこの探求心が泳ぎ続けるとすると協議的民主主義だ fact13: この文学史は協議的民主主義だ fact14: あのユニオン号は付け難い fact15: あのユニオン号はさ迷い出す fact16: その振り掛けは協議的民主主義である fact17: あのユニオン号は眺め直す fact18: あのマルチ能力が協議的民主主義だとすれば涙ぐましい fact19: あのユニオン号は固め打ちだ fact20: そのＫ大は協議的民主主義だ
fact7 & fact4 -> hypothesis;
fact7 & fact4 -> hypothesis;
$facts$ = fact1: 「あのユニオン号は涙ぐましい」ということは成り立つ fact2: もし仮にあのユニオン号が汚らわしいならばそれは奥さん達である fact3: あのユニオン号は再生ボタンだ fact4: 「あのユニオン号は協議的民主主義だ」ということは正しい fact5: 「あのユニオン号は貢献し得る」ということは確かだ fact6: このカンツォーネは協議的民主主義だ fact7: あのユニオン号が協議的民主主義ならば露呈する fact8: その結果は露呈する fact9: あのユニオン号は出来得る fact10: あのユニオン号がまだるっこしいとするとそれは物悲しい fact11: 仮にあのユニオン号が露呈するとすると物的環境である fact12: もし仮にこの探求心が泳ぎ続けるとすると協議的民主主義だ fact13: この文学史は協議的民主主義だ fact14: あのユニオン号は付け難い fact15: あのユニオン号はさ迷い出す fact16: その振り掛けは協議的民主主義である fact17: あのユニオン号は眺め直す fact18: あのマルチ能力が協議的民主主義だとすれば涙ぐましい fact19: あのユニオン号は固め打ちだ fact20: そのＫ大は協議的民主主義だ ; $hypothesis$ = あのユニオン号は露呈しない ; $proof$ = 
fact7 & fact4 -> hypothesis; __DISPROVED__
事実1: 「あのユニオン号は涙ぐましい」ということは成り立つ
事実2: もし仮にあのユニオン号が汚らわしいならばそれは奥さん達である
事実3: あのユニオン号は再生ボタンだ
事実4: 「あのユニオン号は協議的民主主義だ」ということは正しい
事実5: 「あのユニオン号は貢献し得る」ということは確かだ
事実6: このカンツォーネは協議的民主主義だ
事実7: あのユニオン号が協議的民主主義ならば露呈する
事実8: その結果は露呈する
事実9: あのユニオン号は出来得る
事実10: あのユニオン号がまだるっこしいとするとそれは物悲しい
事実11: 仮にあのユニオン号が露呈するとすると物的環境である
事実12: もし仮にこの探求心が泳ぎ続けるとすると協議的民主主義だ
事実13: この文学史は協議的民主主義だ
事実14: あのユニオン号は付け難い
事実15: あのユニオン号はさ迷い出す
事実16: その振り掛けは協議的民主主義である
事実17: あのユニオン号は眺め直す
事実18: あのマルチ能力が協議的民主主義だとすれば涙ぐましい
事実19: あのユニオン号は固め打ちだ
事実20: そのＫ大は協議的民主主義だ

仮説: あのユニオン号は露呈しない
1. 事実7と事実4から、仮説が否定される

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