この土地価格は用い易い
fact1: 「その文化度国郡志はでっかい」ということは本当である fact2: もしも「この土地価格は益無しないかそれは同一視しない」ということは間違いだとすれば用い易くない fact3: もし「その文化度国郡志は用い易くないがしかしでっかい」ということは事実と異ならないとするとこの土地価格は図抜けない fact4: その文化度国郡志は益無し fact5: 仮にその文化度国郡志が図抜けないが益無しとするとこの土地価格は用い易くない fact6: もしも「その文化度国郡志は同一視しないかもしくはでっかい」ということは間違いであるならそれは図抜けるということはない fact7: もし「その文化度国郡志は同一視しないかもしくはでっかくないかまたは両方ともである」ということは嘘だとすればそれは図抜けない fact8: 「その文化度国郡志は同一視しないかあるいはそれはでっかくないかあるいは両方ともである」ということは事実と異なる
fact7 & fact8 -> int1: その文化度国郡志は図抜けるということはない; int1 & fact4 -> int2: その文化度国郡志は図抜けるということはないがしかし益無し; int2 & fact5 -> hypothesis;
$facts$ = fact1: 「その文化度国郡志はでっかい」ということは本当である fact2: もしも「この土地価格は益無しないかそれは同一視しない」ということは間違いだとすれば用い易くない fact3: もし「その文化度国郡志は用い易くないがしかしでっかい」ということは事実と異ならないとするとこの土地価格は図抜けない fact4: その文化度国郡志は益無し fact5: 仮にその文化度国郡志が図抜けないが益無しとするとこの土地価格は用い易くない fact6: もしも「その文化度国郡志は同一視しないかもしくはでっかい」ということは間違いであるならそれは図抜けるということはない fact7: もし「その文化度国郡志は同一視しないかもしくはでっかくないかまたは両方ともである」ということは嘘だとすればそれは図抜けない fact8: 「その文化度国郡志は同一視しないかあるいはそれはでっかくないかあるいは両方ともである」ということは事実と異なる ; $hypothesis$ = この土地価格は用い易い ; $proof$ = 
fact7 & fact8 -> int1: その文化度国郡志は図抜けるということはない; int1 & fact4 -> int2: その文化度国郡志は図抜けるということはないがしかし益無し; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: 「その文化度国郡志はでっかい」ということは本当である
事実2: もしも「この土地価格は益無しないかそれは同一視しない」ということは間違いだとすれば用い易くない
事実3: もし「その文化度国郡志は用い易くないがしかしでっかい」ということは事実と異ならないとするとこの土地価格は図抜けない
事実4: その文化度国郡志は益無し
事実5: 仮にその文化度国郡志が図抜けないが益無しとするとこの土地価格は用い易くない
事実6: もしも「その文化度国郡志は同一視しないかもしくはでっかい」ということは間違いであるならそれは図抜けるということはない
事実7: もし「その文化度国郡志は同一視しないかもしくはでっかくないかまたは両方ともである」ということは嘘だとすればそれは図抜けない
事実8: 「その文化度国郡志は同一視しないかあるいはそれはでっかくないかあるいは両方ともである」ということは事実と異なる

仮説: この土地価格は用い易い
1. 事実7と事実8から、推論1: "その文化度国郡志は図抜けるということはない"が導かれる
2. 推論1と事実4から、推論2: "その文化度国郡志は図抜けるということはないがしかし益無し"が導かれる
3. 推論2と事実5から、仮説が否定される

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