この催眠者は籠絡である
fact1: 仮にこの催眠者が望ましくて更に通り難いとするとこの専門技術者は籠絡である fact2: 「この催眠者はインジケータだがしかし押し合わない」ということは成り立たないとすればそれはインジケータでない fact3: 仮にこの専門技術者が通り難いし望ましいならこの催眠者は籠絡である fact4: 「この専門技術者は便秘する」ということは正しい fact5: もしこの催眠者が望ましいけれど通り難いということはないならこの専門技術者は籠絡だ fact6: もし仮にこの専門技術者が発音上だとしたらそれは大満足する fact7: 仮にこの専門技術者が極まりないし更に大満足するとしたらあの量子論は籠絡でない fact8: もし仮にこの催眠者がインジケータであるということはないならばこの専門技術者は人間らしいしかつ発音上だ fact9: この専門技術者が望ましいし加えて籠絡であるとすればこの催眠者は通り難い fact10: もし仮にこの専門技術者が通り難いがしかし望ましくらないとすればこの催眠者は籠絡だ fact11: 仮にこの専門技術者が極まりないならばこの催眠者は愛撫するけれどそれは籠絡であるということはない fact12: この催眠者は望ましいということはない fact13: この専門技術者は籠絡でない fact14: この専門技術者は通り難いがしかし望ましかない
fact10 & fact14 -> hypothesis;
fact10 & fact14 -> hypothesis;
この催眠者は籠絡でない
$facts$ = fact1: 仮にこの催眠者が望ましくて更に通り難いとするとこの専門技術者は籠絡である fact2: 「この催眠者はインジケータだがしかし押し合わない」ということは成り立たないとすればそれはインジケータでない fact3: 仮にこの専門技術者が通り難いし望ましいならこの催眠者は籠絡である fact4: 「この専門技術者は便秘する」ということは正しい fact5: もしこの催眠者が望ましいけれど通り難いということはないならこの専門技術者は籠絡だ fact6: もし仮にこの専門技術者が発音上だとしたらそれは大満足する fact7: 仮にこの専門技術者が極まりないし更に大満足するとしたらあの量子論は籠絡でない fact8: もし仮にこの催眠者がインジケータであるということはないならばこの専門技術者は人間らしいしかつ発音上だ fact9: この専門技術者が望ましいし加えて籠絡であるとすればこの催眠者は通り難い fact10: もし仮にこの専門技術者が通り難いがしかし望ましくらないとすればこの催眠者は籠絡だ fact11: 仮にこの専門技術者が極まりないならばこの催眠者は愛撫するけれどそれは籠絡であるということはない fact12: この催眠者は望ましいということはない fact13: この専門技術者は籠絡でない fact14: この専門技術者は通り難いがしかし望ましかない ; $hypothesis$ = この催眠者は籠絡である ; $proof$ = 
fact10 & fact14 -> hypothesis; __PROVED__
事実1: 仮にこの催眠者が望ましくて更に通り難いとするとこの専門技術者は籠絡である
事実2: 「この催眠者はインジケータだがしかし押し合わない」ということは成り立たないとすればそれはインジケータでない
事実3: 仮にこの専門技術者が通り難いし望ましいならこの催眠者は籠絡である
事実4: 「この専門技術者は便秘する」ということは正しい
事実5: もしこの催眠者が望ましいけれど通り難いということはないならこの専門技術者は籠絡だ
事実6: もし仮にこの専門技術者が発音上だとしたらそれは大満足する
事実7: 仮にこの専門技術者が極まりないし更に大満足するとしたらあの量子論は籠絡でない
事実8: もし仮にこの催眠者がインジケータであるということはないならばこの専門技術者は人間らしいしかつ発音上だ
事実9: この専門技術者が望ましいし加えて籠絡であるとすればこの催眠者は通り難い
事実10: もし仮にこの専門技術者が通り難いがしかし望ましくらないとすればこの催眠者は籠絡だ
事実11: 仮にこの専門技術者が極まりないならばこの催眠者は愛撫するけれどそれは籠絡であるということはない
事実12: この催眠者は望ましいということはない
事実13: この専門技術者は籠絡でない
事実14: この専門技術者は通り難いがしかし望ましかない

仮説: この催眠者は籠絡である
1. 事実10と事実14から、仮説が導かれる

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