そのＤ‐Ｆ‐Ｗ尺度は薄汚い
fact1: あの歌劇団は勿体無いということはなくて素人っぽくない fact2: そのＤ‐Ｆ‐Ｗ尺度はフランス史でない fact3: もし仮にそのＹ型が回り道しないならばあの定刻は回り道するということはないけど親し fact4: あの定刻が掛け易いとしたらそれはフランス史だ fact5: 仮に「「あの歌劇団は薄汚くないがしかし回り道する」ということは真実でない」ということは本当ならそのＤ‐Ｆ‐Ｗ尺度は薄汚い fact6: もしもそのＹ型が親しないならあの定刻は掛け易い fact7: もしあの歌劇団が勿体無いけど素人っぽいないならそのＹ型は回り道しない fact8: もしもあの定刻が回り道するということはないとするとそれは掛け易い fact9: もしもあの歌劇団が勿体無くないがしかし素人っぽいならそのＹ型は回り道するということはない fact10: 仮にあの定刻はフランス史であるならばそれは薄い fact11: もし「あの定刻は薄い」ということは成り立つならそのＤ‐Ｆ‐Ｗ尺度は薄汚くない fact12: もしあの歌劇団が勿体無くなくてまた素人っぽくないとすればあのＹ型は回り道しない
fact12 & fact1 -> int1: そのＹ型は回り道しない; int1 & fact3 -> int2: あの定刻は回り道しないけどそれは親し; int2 -> int3: あの定刻は回り道しない; int3 & fact8 -> int4: あの定刻は掛け易い; int4 & fact4 -> int5: 「あの定刻はフランス史だ」ということは事実である; int5 & fact10 -> int6: 「あの定刻は薄い」ということは成り立つ; int6 & fact11 -> hypothesis;
そのＤ‐Ｆ‐Ｗ尺度は薄汚い
$facts$ = fact1: あの歌劇団は勿体無いということはなくて素人っぽくない fact2: そのＤ‐Ｆ‐Ｗ尺度はフランス史でない fact3: もし仮にそのＹ型が回り道しないならばあの定刻は回り道するということはないけど親し fact4: あの定刻が掛け易いとしたらそれはフランス史だ fact5: 仮に「「あの歌劇団は薄汚くないがしかし回り道する」ということは真実でない」ということは本当ならそのＤ‐Ｆ‐Ｗ尺度は薄汚い fact6: もしもそのＹ型が親しないならあの定刻は掛け易い fact7: もしあの歌劇団が勿体無いけど素人っぽいないならそのＹ型は回り道しない fact8: もしもあの定刻が回り道するということはないとするとそれは掛け易い fact9: もしもあの歌劇団が勿体無くないがしかし素人っぽいならそのＹ型は回り道するということはない fact10: 仮にあの定刻はフランス史であるならばそれは薄い fact11: もし「あの定刻は薄い」ということは成り立つならそのＤ‐Ｆ‐Ｗ尺度は薄汚くない fact12: もしあの歌劇団が勿体無くなくてまた素人っぽくないとすればあのＹ型は回り道しない ; $hypothesis$ = そのＤ‐Ｆ‐Ｗ尺度は薄汚い ; $proof$ = 
fact12 & fact1 -> int1: そのＹ型は回り道しない; int1 & fact3 -> int2: あの定刻は回り道しないけどそれは親し; int2 -> int3: あの定刻は回り道しない; int3 & fact8 -> int4: あの定刻は掛け易い; int4 & fact4 -> int5: 「あの定刻はフランス史だ」ということは事実である; int5 & fact10 -> int6: 「あの定刻は薄い」ということは成り立つ; int6 & fact11 -> hypothesis; __DISPROVED__
事実1: あの歌劇団は勿体無いということはなくて素人っぽくない
事実2: そのＤ‐Ｆ‐Ｗ尺度はフランス史でない
事実3: もし仮にそのＹ型が回り道しないならばあの定刻は回り道するということはないけど親し
事実4: あの定刻が掛け易いとしたらそれはフランス史だ
事実5: 仮に「「あの歌劇団は薄汚くないがしかし回り道する」ということは真実でない」ということは本当ならそのＤ‐Ｆ‐Ｗ尺度は薄汚い
事実6: もしもそのＹ型が親しないならあの定刻は掛け易い
事実7: もしあの歌劇団が勿体無いけど素人っぽいないならそのＹ型は回り道しない
事実8: もしもあの定刻が回り道するということはないとするとそれは掛け易い
事実9: もしもあの歌劇団が勿体無くないがしかし素人っぽいならそのＹ型は回り道するということはない
事実10: 仮にあの定刻はフランス史であるならばそれは薄い
事実11: もし「あの定刻は薄い」ということは成り立つならそのＤ‐Ｆ‐Ｗ尺度は薄汚くない
事実12: もしあの歌劇団が勿体無くなくてまた素人っぽくないとすればあのＹ型は回り道しない

仮説: そのＤ‐Ｆ‐Ｗ尺度は薄汚い
1. 事実12と事実1から、推論1: "そのＹ型は回り道しない"が導かれる
2. 推論1と事実3から、推論2: "あの定刻は回り道しないけどそれは親し"が導かれる
3. 推論2から、推論3: "あの定刻は回り道しない"が導かれる
4. 推論3と事実8から、推論4: "あの定刻は掛け易い"が導かれる
5. 推論4と事実4から、推論5: "「あの定刻はフランス史だ」ということは事実である"が導かれる
6. 推論5と事実10から、推論6: "「あの定刻は薄い」ということは成り立つ"が導かれる
7. 推論6と事実11から、仮説が否定される

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