この臥蓐は記載するけど見辛くない
fact1: そのクラウニングは見辛いとすれば「この臥蓐は記載するがしかし見辛くない」ということは成り立たない fact2: 色っぽくないものは立ち入れるし加えて変化し易い fact3: 色っぽくないものは記載するけど見辛くない fact4: あらゆる物は需要面である fact5: そのクラウニングは色っぽいしさらに見辛い fact6: その労働者等は記載する
fact5 -> int1: そのクラウニングは見辛い; int1 & fact1 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
この半殺しは立ち入れるしそれは変化し易い
fact7 -> int2: この半殺しが色っぽくないならそれは立ち入れるしおまけに変化し易い;
$facts$ = fact1: そのクラウニングは見辛いとすれば「この臥蓐は記載するがしかし見辛くない」ということは成り立たない fact2: 色っぽくないものは立ち入れるし加えて変化し易い fact3: 色っぽくないものは記載するけど見辛くない fact4: あらゆる物は需要面である fact5: そのクラウニングは色っぽいしさらに見辛い fact6: その労働者等は記載する ; $hypothesis$ = この臥蓐は記載するけど見辛くない ; $proof$ = 
fact5 -> int1: そのクラウニングは見辛い; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: そのクラウニングは見辛いとすれば「この臥蓐は記載するがしかし見辛くない」ということは成り立たない
事実2: 色っぽくないものは立ち入れるし加えて変化し易い
事実3: 色っぽくないものは記載するけど見辛くない
事実4: あらゆる物は需要面である
事実5: そのクラウニングは色っぽいしさらに見辛い
事実6: その労働者等は記載する

仮説: この臥蓐は記載するけど見辛くない
1. 事実5から、推論1: "そのクラウニングは見辛い"が導かれる
2. 推論1と事実1から、仮説が否定される

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