あのフリースは言い辛くない
fact1: もしとあるものが中世史だとしたらそれは言い辛い fact2: もしもあのフリースが改悛するとするとそれは中世史である fact3: ばあかしいものは班給する fact4: 押し付けがましいものは言い辛いということはないがしかし予測し易い fact5: あのフリースは改悛する fact6: あのフリースは排水設備だ
fact2 & fact5 -> int1: あのフリースは中世史である; fact1 -> int2: もし仮にあのフリースが中世史ならそれは言い辛い; int1 & int2 -> hypothesis;
fact2 & fact5 -> int1: {B}{a}; fact1 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
その時間簿は中世史だ
fact7 -> int3: もし仮にその時間簿が押し付けがましいとすればそれは言い辛いということはないけれど予測し易い;
$facts$ = fact1: もしとあるものが中世史だとしたらそれは言い辛い fact2: もしもあのフリースが改悛するとするとそれは中世史である fact3: ばあかしいものは班給する fact4: 押し付けがましいものは言い辛いということはないがしかし予測し易い fact5: あのフリースは改悛する fact6: あのフリースは排水設備だ ; $hypothesis$ = あのフリースは言い辛くない ; $proof$ = 
fact2 & fact5 -> int1: あのフリースは中世史である; fact1 -> int2: もし仮にあのフリースが中世史ならそれは言い辛い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしとあるものが中世史だとしたらそれは言い辛い
事実2: もしもあのフリースが改悛するとするとそれは中世史である
事実3: ばあかしいものは班給する
事実4: 押し付けがましいものは言い辛いということはないがしかし予測し易い
事実5: あのフリースは改悛する
事実6: あのフリースは排水設備だ

仮説: あのフリースは言い辛くない
1. 事実2と事実5から、推論1: "あのフリースは中世史である"が導かれる
2. 事実1から、推論2: "もし仮にあのフリースが中世史ならそれは言い辛い"が導かれる
3. 推論1と推論2から、仮説が否定される

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