あのマスカルポーネチーズは吹き掛けない
fact1: 「この川工事は時間評価であるか針葉樹であるか両方だ」ということは事実だ fact2: もしもこの川工事が針葉樹であるならあのマスカルポーネチーズは吹き掛ける fact3: もしこの川工事が時間評価であるとするとあのマスカルポーネチーズは吹き掛ける fact4: ある物は因り難いとすると「それは針葉樹であるということはなくてそれにそれは時間評価である」ということは成り立たない
fact1 & fact3 & fact2 -> hypothesis;
あのマスカルポーネチーズは吹き掛けるということはない
fact5 -> int1: もしもこの川工事は因り難いとすれば「「針葉樹でないししかもそれは時間評価だ」ということは真実だ」ということは確かでない;
$facts$ = fact1: 「この川工事は時間評価であるか針葉樹であるか両方だ」ということは事実だ fact2: もしもこの川工事が針葉樹であるならあのマスカルポーネチーズは吹き掛ける fact3: もしこの川工事が時間評価であるとするとあのマスカルポーネチーズは吹き掛ける fact4: ある物は因り難いとすると「それは針葉樹であるということはなくてそれにそれは時間評価である」ということは成り立たない ; $hypothesis$ = あのマスカルポーネチーズは吹き掛けない ; $proof$ = 
fact1 & fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: 「この川工事は時間評価であるか針葉樹であるか両方だ」ということは事実だ
事実2: もしもこの川工事が針葉樹であるならあのマスカルポーネチーズは吹き掛ける
事実3: もしこの川工事が時間評価であるとするとあのマスカルポーネチーズは吹き掛ける
事実4: ある物は因り難いとすると「それは針葉樹であるということはなくてそれにそれは時間評価である」ということは成り立たない

仮説: あのマスカルポーネチーズは吹き掛けない
1. 事実1と事実3と事実2から、仮説が否定される

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