あの五趣は腹黒くない
fact1: 「あの五趣は根強い」ということは真実だ fact2: この編集後記は重たい fact3: 仮にあの五趣が根強いし加えて重たいならこの編集後記は腹黒くない fact4: あのフロント・ティは重たいということはない fact5: この編集後記は健康水準である fact6: この編集後記は根強い fact7: もし仮にあの五趣が生々しいかそれは感じ難くないかまたはどちらもであるとするとそれはＵＤＥである fact8: 仮にこの編集後記が根強いしさらに重たいならあの五趣は腹黒くない fact9: 仮にあるものが重たくないなら腹黒くて根強い fact10: もし「何らかのものは翌年以後であるけれどＵＤＥでない」ということは誤っているとしたら腹黒くない fact11: もし「この編集後記は根強いか重たくない」ということは成り立たないならこの新規データベースファイルは重たくない
fact6 & fact2 -> int1: この編集後記は根強くて加えて重たい; int1 & fact8 -> hypothesis;
fact6 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact8 -> hypothesis;
あの五趣は腹黒い
fact12 -> int2: 仮にあの五趣が重たくないとすると腹黒くて更にそれは根強い;
$facts$ = fact1: 「あの五趣は根強い」ということは真実だ fact2: この編集後記は重たい fact3: 仮にあの五趣が根強いし加えて重たいならこの編集後記は腹黒くない fact4: あのフロント・ティは重たいということはない fact5: この編集後記は健康水準である fact6: この編集後記は根強い fact7: もし仮にあの五趣が生々しいかそれは感じ難くないかまたはどちらもであるとするとそれはＵＤＥである fact8: 仮にこの編集後記が根強いしさらに重たいならあの五趣は腹黒くない fact9: 仮にあるものが重たくないなら腹黒くて根強い fact10: もし「何らかのものは翌年以後であるけれどＵＤＥでない」ということは誤っているとしたら腹黒くない fact11: もし「この編集後記は根強いか重たくない」ということは成り立たないならこの新規データベースファイルは重たくない ; $hypothesis$ = あの五趣は腹黒くない ; $proof$ = 
fact6 & fact2 -> int1: この編集後記は根強くて加えて重たい; int1 & fact8 -> hypothesis; __PROVED__
事実1: 「あの五趣は根強い」ということは真実だ
事実2: この編集後記は重たい
事実3: 仮にあの五趣が根強いし加えて重たいならこの編集後記は腹黒くない
事実4: あのフロント・ティは重たいということはない
事実5: この編集後記は健康水準である
事実6: この編集後記は根強い
事実7: もし仮にあの五趣が生々しいかそれは感じ難くないかまたはどちらもであるとするとそれはＵＤＥである
事実8: 仮にこの編集後記が根強いしさらに重たいならあの五趣は腹黒くない
事実9: 仮にあるものが重たくないなら腹黒くて根強い
事実10: もし「何らかのものは翌年以後であるけれどＵＤＥでない」ということは誤っているとしたら腹黒くない
事実11: もし「この編集後記は根強いか重たくない」ということは成り立たないならこの新規データベースファイルは重たくない

仮説: あの五趣は腹黒くない
1. 事実6と事実2から、推論1: "この編集後記は根強くて加えて重たい"が導かれる
2. 推論1と事実8から、仮説が導かれる

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