その治療対象は横線でない
fact1: この音韻過程は再検する fact2: もしも「何かは図り難くない一方で話せる」ということは間違っていればそれは売春宿でない fact3: 「この音韻過程は横線でない」ということは偽でないならばその民俗はめんど臭いし再検する fact4: もし仮にあのＦＴτが崩れ出さないとすればあの治療対象は観ずるし父親らしい fact5: もし仮にこの音韻過程が再検するならその治療対象はめんど臭い fact6: もし何らかの物が再検すればそれは横線だ fact7: その治療対象は観ずるとすれば「この音韻過程は図り難くないけど話せる」ということは成り立つということはない fact8: めんど臭い物は横線でない fact9: もしとあるものが売春宿でないとすれば横線であるということはない fact10: この百グラム当たりはめんど臭い
fact5 & fact1 -> int1: 「その治療対象はめんど臭い」ということは成り立つ; fact8 -> int2: もし仮にその治療対象がめんど臭いとすると横線であるということはない; int1 & int2 -> hypothesis;
その治療対象は横線である
fact11 -> int3: 「その治療対象が再検すればその治療対象は横線である」ということは正しい;
$facts$ = fact1: この音韻過程は再検する fact2: もしも「何かは図り難くない一方で話せる」ということは間違っていればそれは売春宿でない fact3: 「この音韻過程は横線でない」ということは偽でないならばその民俗はめんど臭いし再検する fact4: もし仮にあのＦＴτが崩れ出さないとすればあの治療対象は観ずるし父親らしい fact5: もし仮にこの音韻過程が再検するならその治療対象はめんど臭い fact6: もし何らかの物が再検すればそれは横線だ fact7: その治療対象は観ずるとすれば「この音韻過程は図り難くないけど話せる」ということは成り立つということはない fact8: めんど臭い物は横線でない fact9: もしとあるものが売春宿でないとすれば横線であるということはない fact10: この百グラム当たりはめんど臭い ; $hypothesis$ = その治療対象は横線でない ; $proof$ = 
fact5 & fact1 -> int1: 「その治療対象はめんど臭い」ということは成り立つ; fact8 -> int2: もし仮にその治療対象がめんど臭いとすると横線であるということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: この音韻過程は再検する
事実2: もしも「何かは図り難くない一方で話せる」ということは間違っていればそれは売春宿でない
事実3: 「この音韻過程は横線でない」ということは偽でないならばその民俗はめんど臭いし再検する
事実4: もし仮にあのＦＴτが崩れ出さないとすればあの治療対象は観ずるし父親らしい
事実5: もし仮にこの音韻過程が再検するならその治療対象はめんど臭い
事実6: もし何らかの物が再検すればそれは横線だ
事実7: その治療対象は観ずるとすれば「この音韻過程は図り難くないけど話せる」ということは成り立つということはない
事実8: めんど臭い物は横線でない
事実9: もしとあるものが売春宿でないとすれば横線であるということはない
事実10: この百グラム当たりはめんど臭い

仮説: その治療対象は横線でない
1. 事実5と事実1から、推論1: "「その治療対象はめんど臭い」ということは成り立つ"が導かれる
2. 事実8から、推論2: "もし仮にその治療対象がめんど臭いとすると横線であるということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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