「あの感性は誇り得るしおまけに巡らす」ということは間違っている
fact1: あの感性は誇り得る fact2: 「あの感性はホテル前であるけど浪費でない」ということは間違いである fact3: あの中間体は巡らす fact4: 「あの感性は放映するがしかし浪費でない」ということは本当でない fact5: 「あの感性はホテル前だがしかし浪費だということはない」ということは事実でないとすると巡らす
fact5 & fact2 -> int1: あの感性は巡らす; int1 & fact1 -> hypothesis;
fact5 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: あの感性は誇り得る fact2: 「あの感性はホテル前であるけど浪費でない」ということは間違いである fact3: あの中間体は巡らす fact4: 「あの感性は放映するがしかし浪費でない」ということは本当でない fact5: 「あの感性はホテル前だがしかし浪費だということはない」ということは事実でないとすると巡らす ; $hypothesis$ = 「あの感性は誇り得るしおまけに巡らす」ということは間違っている ; $proof$ = 
fact5 & fact2 -> int1: あの感性は巡らす; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: あの感性は誇り得る
事実2: 「あの感性はホテル前であるけど浪費でない」ということは間違いである
事実3: あの中間体は巡らす
事実4: 「あの感性は放映するがしかし浪費でない」ということは本当でない
事実5: 「あの感性はホテル前だがしかし浪費だということはない」ということは事実でないとすると巡らす

仮説: 「あの感性は誇り得るしおまけに巡らす」ということは間違っている
1. 事実5と事実2から、推論1: "あの感性は巡らす"が導かれる
2. 推論1と事実1から、仮説が否定される

よって、仮説が否定されました。