その沿海地方は遣り辛い
fact1: この損失処理案が薄汚くないならばあの濃緑は遣り辛くてそれは鈍い fact2: もし仮にこの茶の間は治療群でないし賀すないならば「このベッドタウンはミクロ分析だ」ということは成り立つ fact3: 何もかもは遣り辛くてそれは鈍い fact4: もし仮に「その濃緑は鈍い」ということは成り立つならこの保護義務は鈍い
fact3 -> int1: その沿海地方は遣り辛いししかもそれは鈍い; int1 -> hypothesis;
fact3 -> int1: ({A}{aa} & {B}{aa}); int1 -> hypothesis;
その沿海地方は遣り辛いということはない
$facts$ = fact1: この損失処理案が薄汚くないならばあの濃緑は遣り辛くてそれは鈍い fact2: もし仮にこの茶の間は治療群でないし賀すないならば「このベッドタウンはミクロ分析だ」ということは成り立つ fact3: 何もかもは遣り辛くてそれは鈍い fact4: もし仮に「その濃緑は鈍い」ということは成り立つならこの保護義務は鈍い ; $hypothesis$ = その沿海地方は遣り辛い ; $proof$ = 
fact3 -> int1: その沿海地方は遣り辛いししかもそれは鈍い; int1 -> hypothesis; __PROVED__
事実1: この損失処理案が薄汚くないならばあの濃緑は遣り辛くてそれは鈍い
事実2: もし仮にこの茶の間は治療群でないし賀すないならば「このベッドタウンはミクロ分析だ」ということは成り立つ
事実3: 何もかもは遣り辛くてそれは鈍い
事実4: もし仮に「その濃緑は鈍い」ということは成り立つならこの保護義務は鈍い

仮説: その沿海地方は遣り辛い
1. 事実3から、推論1: "その沿海地方は遣り辛いししかもそれは鈍い"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。