このＩ書店は泥臭くない
fact1: このＩ書店は崇めない fact2: もし何かは胸苦しいとしたら泥臭くない fact3: このＩ書店は掃除し易いしその上着用する fact4: このＩ書店は集まり易い fact5: 「このＩ書店は漏れ無くない」ということは真実である fact6: その無混入コンクリートは胸苦しくない fact7: その意業は胸苦しい fact8: あのニクスン政権は集まり易い fact9: もし仮にこのＲＣＲＳが胸苦しいとするとそれは調和し難いということはない fact10: 「その稲刈りは泥臭くない」ということは確かである fact11: そのスキンモードは泥臭いしまた実戦である fact12: 小煩いものは漏れ無いということはない fact13: このＩ書店は守り導くしそれは対概念である fact14: このＩ書店は胸苦しくてそれに集まり易い
fact2 -> int1: もしこのＩ書店が胸苦しいならば泥臭くない; fact14 -> int2: 「このＩ書店は胸苦しい」ということは本当だ; int1 & int2 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬{C}{aa}; fact14 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: このＩ書店は崇めない fact2: もし何かは胸苦しいとしたら泥臭くない fact3: このＩ書店は掃除し易いしその上着用する fact4: このＩ書店は集まり易い fact5: 「このＩ書店は漏れ無くない」ということは真実である fact6: その無混入コンクリートは胸苦しくない fact7: その意業は胸苦しい fact8: あのニクスン政権は集まり易い fact9: もし仮にこのＲＣＲＳが胸苦しいとするとそれは調和し難いということはない fact10: 「その稲刈りは泥臭くない」ということは確かである fact11: そのスキンモードは泥臭いしまた実戦である fact12: 小煩いものは漏れ無いということはない fact13: このＩ書店は守り導くしそれは対概念である fact14: このＩ書店は胸苦しくてそれに集まり易い ; $hypothesis$ = このＩ書店は泥臭くない ; $proof$ = 
fact2 -> int1: もしこのＩ書店が胸苦しいならば泥臭くない; fact14 -> int2: 「このＩ書店は胸苦しい」ということは本当だ; int1 & int2 -> hypothesis; __PROVED__
事実1: このＩ書店は崇めない
事実2: もし何かは胸苦しいとしたら泥臭くない
事実3: このＩ書店は掃除し易いしその上着用する
事実4: このＩ書店は集まり易い
事実5: 「このＩ書店は漏れ無くない」ということは真実である
事実6: その無混入コンクリートは胸苦しくない
事実7: その意業は胸苦しい
事実8: あのニクスン政権は集まり易い
事実9: もし仮にこのＲＣＲＳが胸苦しいとするとそれは調和し難いということはない
事実10: 「その稲刈りは泥臭くない」ということは確かである
事実11: そのスキンモードは泥臭いしまた実戦である
事実12: 小煩いものは漏れ無いということはない
事実13: このＩ書店は守り導くしそれは対概念である
事実14: このＩ書店は胸苦しくてそれに集まり易い

仮説: このＩ書店は泥臭くない
1. 事実2から、推論1: "もしこのＩ書店が胸苦しいならば泥臭くない"が導かれる
2. 事実14から、推論2: "「このＩ書店は胸苦しい」ということは本当だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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