その紫外線ＵＶ‐Ａはされ易くない
fact1: もしも「あの蜘蛛は耐性化しない」ということは本当であるとすると「この公的部門は狩り場であるしまたセンターサークルだ」ということは成り立つということはない fact2: もしもなにがしかのものが開校しないとするとそれは溜め込み易いかもしくはファインダーウィンドウである fact3: この表示等は溜め込み易いしかつそれはファインダーウィンドウだ fact4: この各種書類は開校するとしたら「それはえぐくない」ということは成り立たない fact5: 仮になにかは御寺さんであるとすればそれは開校するということはないかまたはそれはえぐいかまたは両方ともだ fact6: 仮に何らかのものはファインダーウィンドウであるとしたらそれは開校する fact7: もし仮にこの事業家精神が酢適量で禍々しいならこのスポーツ界は反間でない fact8: もし何らかのものが蒸し暑いとすればそれは酢適量である fact9: もし仮にこの表示等が開校するならこの各種書類はえぐい fact10: もしもこの表示等は開校しないならば「その紫外線ＵＶ‐Ａは溜め込み易くないかもしくはそれはファインダーウィンドウであるかあるいはどちらもだ」ということは成り立つということはない fact11: この事業家精神は蒸し暑い fact12: 仮にこのスポーツ界が反間でないならばあの蜘蛛は耐性化しない fact13: この事業家精神が持続的農業だし禍々しい fact14: もしもとあるものが御寺さんなら開校する fact15: この表示等は溜め込み易い fact16: この公的部門が御寺さんだとすればあの紫外線ＵＶ‐Ａはされ易い fact17: もしこの各種書類がえぐいとしたらこの公的部門は御寺さんだ fact18: もしも「なにがしかのものは溜め込み易くないかあるいはファインダーウィンドウだ」ということは嘘であるならばされ易いということはない
fact3 -> int1: この表示等はファインダーウィンドウである; fact6 -> int2: この表示等がファインダーウィンドウだとしたら開校する; int1 & int2 -> int3: この表示等は開校する; int3 & fact9 -> int4: この各種書類はえぐい; int4 & fact17 -> int5: 「この公的部門は御寺さんである」ということは真実である; int5 & fact16 -> hypothesis;
この膨隆は御寺さんである
fact19 -> int6: この膨隆が開校しないなら溜め込み易いかまたはファインダーウィンドウであるか両方ともだ;
$facts$ = fact1: もしも「あの蜘蛛は耐性化しない」ということは本当であるとすると「この公的部門は狩り場であるしまたセンターサークルだ」ということは成り立つということはない fact2: もしもなにがしかのものが開校しないとするとそれは溜め込み易いかもしくはファインダーウィンドウである fact3: この表示等は溜め込み易いしかつそれはファインダーウィンドウだ fact4: この各種書類は開校するとしたら「それはえぐくない」ということは成り立たない fact5: 仮になにかは御寺さんであるとすればそれは開校するということはないかまたはそれはえぐいかまたは両方ともだ fact6: 仮に何らかのものはファインダーウィンドウであるとしたらそれは開校する fact7: もし仮にこの事業家精神が酢適量で禍々しいならこのスポーツ界は反間でない fact8: もし何らかのものが蒸し暑いとすればそれは酢適量である fact9: もし仮にこの表示等が開校するならこの各種書類はえぐい fact10: もしもこの表示等は開校しないならば「その紫外線ＵＶ‐Ａは溜め込み易くないかもしくはそれはファインダーウィンドウであるかあるいはどちらもだ」ということは成り立つということはない fact11: この事業家精神は蒸し暑い fact12: 仮にこのスポーツ界が反間でないならばあの蜘蛛は耐性化しない fact13: この事業家精神が持続的農業だし禍々しい fact14: もしもとあるものが御寺さんなら開校する fact15: この表示等は溜め込み易い fact16: この公的部門が御寺さんだとすればあの紫外線ＵＶ‐Ａはされ易い fact17: もしこの各種書類がえぐいとしたらこの公的部門は御寺さんだ fact18: もしも「なにがしかのものは溜め込み易くないかあるいはファインダーウィンドウだ」ということは嘘であるならばされ易いということはない ; $hypothesis$ = その紫外線ＵＶ‐Ａはされ易くない ; $proof$ = 
fact3 -> int1: この表示等はファインダーウィンドウである; fact6 -> int2: この表示等がファインダーウィンドウだとしたら開校する; int1 & int2 -> int3: この表示等は開校する; int3 & fact9 -> int4: この各種書類はえぐい; int4 & fact17 -> int5: 「この公的部門は御寺さんである」ということは真実である; int5 & fact16 -> hypothesis; __DISPROVED__
事実1: もしも「あの蜘蛛は耐性化しない」ということは本当であるとすると「この公的部門は狩り場であるしまたセンターサークルだ」ということは成り立つということはない
事実2: もしもなにがしかのものが開校しないとするとそれは溜め込み易いかもしくはファインダーウィンドウである
事実3: この表示等は溜め込み易いしかつそれはファインダーウィンドウだ
事実4: この各種書類は開校するとしたら「それはえぐくない」ということは成り立たない
事実5: 仮になにかは御寺さんであるとすればそれは開校するということはないかまたはそれはえぐいかまたは両方ともだ
事実6: 仮に何らかのものはファインダーウィンドウであるとしたらそれは開校する
事実7: もし仮にこの事業家精神が酢適量で禍々しいならこのスポーツ界は反間でない
事実8: もし何らかのものが蒸し暑いとすればそれは酢適量である
事実9: もし仮にこの表示等が開校するならこの各種書類はえぐい
事実10: もしもこの表示等は開校しないならば「その紫外線ＵＶ‐Ａは溜め込み易くないかもしくはそれはファインダーウィンドウであるかあるいはどちらもだ」ということは成り立つということはない
事実11: この事業家精神は蒸し暑い
事実12: 仮にこのスポーツ界が反間でないならばあの蜘蛛は耐性化しない
事実13: この事業家精神が持続的農業だし禍々しい
事実14: もしもとあるものが御寺さんなら開校する
事実15: この表示等は溜め込み易い
事実16: この公的部門が御寺さんだとすればあの紫外線ＵＶ‐Ａはされ易い
事実17: もしこの各種書類がえぐいとしたらこの公的部門は御寺さんだ
事実18: もしも「なにがしかのものは溜め込み易くないかあるいはファインダーウィンドウだ」ということは嘘であるならばされ易いということはない

仮説: その紫外線ＵＶ‐Ａはされ易くない
1. 事実3から、推論1: "この表示等はファインダーウィンドウである"が導かれる
2. 事実6から、推論2: "この表示等がファインダーウィンドウだとしたら開校する"が導かれる
3. 推論1と推論2から、推論3: "この表示等は開校する"が導かれる
4. 推論3と事実9から、推論4: "この各種書類はえぐい"が導かれる
5. 推論4と事実17から、推論5: "「この公的部門は御寺さんである」ということは真実である"が導かれる
6. 推論5と事実16から、仮説が否定される

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