この所信表明は感応力だ
fact1: もし加工メニューが猛々しくないとすれば感応力でない fact2: もしこの大蔵省租税寮が日本料理店だとしたらその月加重平均濃度は乳繰り有る fact3: その月加重平均濃度が乳繰り有るとするとこの所信表明は加工メニューだがしかし猛々しくない fact4: この大蔵省租税寮は日本料理店だ
fact2 & fact4 -> int1: その月加重平均濃度は乳繰り有る; int1 & fact3 -> int2: この所信表明は加工メニューである一方でそれは猛々しいということはない; fact1 -> int3: もしもこの所信表明は加工メニューであるけど猛々しくないとしたら感応力でない; int2 & int3 -> hypothesis;
$facts$ = fact1: もし加工メニューが猛々しくないとすれば感応力でない fact2: もしこの大蔵省租税寮が日本料理店だとしたらその月加重平均濃度は乳繰り有る fact3: その月加重平均濃度が乳繰り有るとするとこの所信表明は加工メニューだがしかし猛々しくない fact4: この大蔵省租税寮は日本料理店だ ; $hypothesis$ = この所信表明は感応力だ ; $proof$ = 
fact2 & fact4 -> int1: その月加重平均濃度は乳繰り有る; int1 & fact3 -> int2: この所信表明は加工メニューである一方でそれは猛々しいということはない; fact1 -> int3: もしもこの所信表明は加工メニューであるけど猛々しくないとしたら感応力でない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし加工メニューが猛々しくないとすれば感応力でない
事実2: もしこの大蔵省租税寮が日本料理店だとしたらその月加重平均濃度は乳繰り有る
事実3: その月加重平均濃度が乳繰り有るとするとこの所信表明は加工メニューだがしかし猛々しくない
事実4: この大蔵省租税寮は日本料理店だ

仮説: この所信表明は感応力だ
1. 事実2と事実4から、推論1: "その月加重平均濃度は乳繰り有る"が導かれる
2. 推論1と事実3から、推論2: "この所信表明は加工メニューである一方でそれは猛々しいということはない"が導かれる
3. 事実1から、推論3: "もしもこの所信表明は加工メニューであるけど猛々しくないとしたら感応力でない"が導かれる
4. 推論2と推論3から、仮説が否定される

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