このパーマは値上げする
fact1: このパーマが鬱陶しいとすればその合成樹脂は値上げする fact2: 「そのクロ文字は鬱陶しい」ということは成り立つ fact3: このパーマは差す fact4: もしもそのクロ文字が話し声であるならばこのパーマは値上げする fact5: もしもその合成樹脂がトーク番組だしそれに鬱陶しいとすればそれは差さない fact6: そのクロ文字が値上げすればその合成樹脂はトーク番組である fact7: このパーマが差さないならばその合成樹脂は値上げする fact8: その合成樹脂が値上げするとすればあのパーマは鬱陶しい fact9: あの御厚意はトーク番組である fact10: このパーマは話し声だ fact11: その合成樹脂は鬱陶しかない fact12: 仮にその合成樹脂が差さないとするとそのクロ文字は話し声である fact13: この月別購入数量は殺せるけどトーク番組でない fact14: もしその合成樹脂は差すがしかし値上げしないならばそれはトーク番組でない fact15: もしそのクロ文字がトーク番組でないならばその合成樹脂は話し声である fact16: その合成樹脂は話し声である fact17: そのクロ文字はトーク番組であるけれど蹌踉くない fact18: その合成樹脂はトーク番組だがしかし鬱陶しかない fact19: もしその合成樹脂はトーク番組だが鬱陶しかないとしたら差さない fact20: その合成樹脂は荒々しいけれど現金預金でない fact21: そのクロ文字は認識す
fact19 & fact18 -> int1: その合成樹脂は差さない; int1 & fact12 -> int2: そのクロ文字は話し声である; int2 & fact4 -> hypothesis;
$facts$ = fact1: このパーマが鬱陶しいとすればその合成樹脂は値上げする fact2: 「そのクロ文字は鬱陶しい」ということは成り立つ fact3: このパーマは差す fact4: もしもそのクロ文字が話し声であるならばこのパーマは値上げする fact5: もしもその合成樹脂がトーク番組だしそれに鬱陶しいとすればそれは差さない fact6: そのクロ文字が値上げすればその合成樹脂はトーク番組である fact7: このパーマが差さないならばその合成樹脂は値上げする fact8: その合成樹脂が値上げするとすればあのパーマは鬱陶しい fact9: あの御厚意はトーク番組である fact10: このパーマは話し声だ fact11: その合成樹脂は鬱陶しかない fact12: 仮にその合成樹脂が差さないとするとそのクロ文字は話し声である fact13: この月別購入数量は殺せるけどトーク番組でない fact14: もしその合成樹脂は差すがしかし値上げしないならばそれはトーク番組でない fact15: もしそのクロ文字がトーク番組でないならばその合成樹脂は話し声である fact16: その合成樹脂は話し声である fact17: そのクロ文字はトーク番組であるけれど蹌踉くない fact18: その合成樹脂はトーク番組だがしかし鬱陶しかない fact19: もしその合成樹脂はトーク番組だが鬱陶しかないとしたら差さない fact20: その合成樹脂は荒々しいけれど現金預金でない fact21: そのクロ文字は認識す ; $hypothesis$ = このパーマは値上げする ; $proof$ = 
fact19 & fact18 -> int1: その合成樹脂は差さない; int1 & fact12 -> int2: そのクロ文字は話し声である; int2 & fact4 -> hypothesis; __PROVED__
事実1: このパーマが鬱陶しいとすればその合成樹脂は値上げする
事実2: 「そのクロ文字は鬱陶しい」ということは成り立つ
事実3: このパーマは差す
事実4: もしもそのクロ文字が話し声であるならばこのパーマは値上げする
事実5: もしもその合成樹脂がトーク番組だしそれに鬱陶しいとすればそれは差さない
事実6: そのクロ文字が値上げすればその合成樹脂はトーク番組である
事実7: このパーマが差さないならばその合成樹脂は値上げする
事実8: その合成樹脂が値上げするとすればあのパーマは鬱陶しい
事実9: あの御厚意はトーク番組である
事実10: このパーマは話し声だ
事実11: その合成樹脂は鬱陶しかない
事実12: 仮にその合成樹脂が差さないとするとそのクロ文字は話し声である
事実13: この月別購入数量は殺せるけどトーク番組でない
事実14: もしその合成樹脂は差すがしかし値上げしないならばそれはトーク番組でない
事実15: もしそのクロ文字がトーク番組でないならばその合成樹脂は話し声である
事実16: その合成樹脂は話し声である
事実17: そのクロ文字はトーク番組であるけれど蹌踉くない
事実18: その合成樹脂はトーク番組だがしかし鬱陶しかない
事実19: もしその合成樹脂はトーク番組だが鬱陶しかないとしたら差さない
事実20: その合成樹脂は荒々しいけれど現金預金でない
事実21: そのクロ文字は認識す

仮説: このパーマは値上げする
1. 事実19と事実18から、推論1: "その合成樹脂は差さない"が導かれる
2. 推論1と事実12から、推論2: "そのクロ文字は話し声である"が導かれる
3. 推論2と事実4から、仮説が導かれる

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