この染織品はややこしいけど見窄らしくない
fact1: 「この中止ボタンは白いかまたはそれは活躍出来る」ということは誤りだとすればあの第四十九条関係はややこしいということはない fact2: 仮に何らかのものが女らしいということはないとすればそれはおっそろしないしそれは下ろさない fact3: 仮に「なにがしかの物は役割・慣習・処遇だということはないかもしくは噴霧するかあるいは両方だ」ということは間違いだとするとそれは女らしくない fact4: あの発達状況は犯し難いとすると「それは役割・慣習・処遇でないかあるいは噴霧する」ということは成り立たない fact5: あの発達状況は施術であるとすれば「留置人だがしかし犯し難くない」ということは成り立たない fact6: 仮にあの発達状況がおっそろしということはないしそれが下ろさないとすればこの染織品はおっそろし fact7: おっそろしものはややこしいが見窄らしいということはない fact8: あの発達状況はおっそろしない fact9: もし仮に「この中止ボタンは白くないかあるいはそれは活躍出来るかもしくは両方である」ということは本当でないならばその第四十九条関係はややこしくない fact10: 「この染織品はややこしいしそれに見窄らしい」ということは間違っている fact11: あの発達状況が世話しないとすれば施術であるし更に特許侵害である fact12: もし仮にその第四十九条関係はややこしくないならば「この染織品はややこしいが見窄らしくない」ということは嘘である fact13: もしもあの発達状況はおっそろしないとすると「この中止ボタンは白くないか活躍出来るかあるいは両方である」ということは成り立たない fact14: もしも「何らかのものは留置人だけれど犯し難いということはない」ということは成り立つということはないとするとそれは犯し難い
fact13 & fact8 -> int1: 「この中止ボタンは白くないか活躍出来るかもしくは両方ともだ」ということは成り立たない; int1 & fact9 -> int2: その第四十九条関係はややこしくない; int2 & fact12 -> hypothesis;
この染織品はややこしいけれど見窄らしくない
fact17 -> int3: もしもこの染織品はおっそろしとすれば「それはややこしくて加えて見窄らしいということはない」ということは真実だ; fact21 -> int4: もし仮にあの発達状況が女らしくないとするとおっそろしないしおまけに下ろさない; fact20 -> int5: もし「あの発達状況は役割・慣習・処遇でないかもしくは噴霧するかまたは両方ともである」ということは成り立たないなら女らしくない; fact19 -> int6: 仮に「あの発達状況は留置人であるがしかし犯し難くない」ということは誤っているとすると「犯し難い」ということは偽でない;
$facts$ = fact1: 「この中止ボタンは白いかまたはそれは活躍出来る」ということは誤りだとすればあの第四十九条関係はややこしいということはない fact2: 仮に何らかのものが女らしいということはないとすればそれはおっそろしないしそれは下ろさない fact3: 仮に「なにがしかの物は役割・慣習・処遇だということはないかもしくは噴霧するかあるいは両方だ」ということは間違いだとするとそれは女らしくない fact4: あの発達状況は犯し難いとすると「それは役割・慣習・処遇でないかあるいは噴霧する」ということは成り立たない fact5: あの発達状況は施術であるとすれば「留置人だがしかし犯し難くない」ということは成り立たない fact6: 仮にあの発達状況がおっそろしということはないしそれが下ろさないとすればこの染織品はおっそろし fact7: おっそろしものはややこしいが見窄らしいということはない fact8: あの発達状況はおっそろしない fact9: もし仮に「この中止ボタンは白くないかあるいはそれは活躍出来るかもしくは両方である」ということは本当でないならばその第四十九条関係はややこしくない fact10: 「この染織品はややこしいしそれに見窄らしい」ということは間違っている fact11: あの発達状況が世話しないとすれば施術であるし更に特許侵害である fact12: もし仮にその第四十九条関係はややこしくないならば「この染織品はややこしいが見窄らしくない」ということは嘘である fact13: もしもあの発達状況はおっそろしないとすると「この中止ボタンは白くないか活躍出来るかあるいは両方である」ということは成り立たない fact14: もしも「何らかのものは留置人だけれど犯し難いということはない」ということは成り立つということはないとするとそれは犯し難い ; $hypothesis$ = この染織品はややこしいけど見窄らしくない ; $proof$ = 
fact13 & fact8 -> int1: 「この中止ボタンは白くないか活躍出来るかもしくは両方ともだ」ということは成り立たない; int1 & fact9 -> int2: その第四十九条関係はややこしくない; int2 & fact12 -> hypothesis; __DISPROVED__
事実1: 「この中止ボタンは白いかまたはそれは活躍出来る」ということは誤りだとすればあの第四十九条関係はややこしいということはない
事実2: 仮に何らかのものが女らしいということはないとすればそれはおっそろしないしそれは下ろさない
事実3: 仮に「なにがしかの物は役割・慣習・処遇だということはないかもしくは噴霧するかあるいは両方だ」ということは間違いだとするとそれは女らしくない
事実4: あの発達状況は犯し難いとすると「それは役割・慣習・処遇でないかあるいは噴霧する」ということは成り立たない
事実5: あの発達状況は施術であるとすれば「留置人だがしかし犯し難くない」ということは成り立たない
事実6: 仮にあの発達状況がおっそろしということはないしそれが下ろさないとすればこの染織品はおっそろし
事実7: おっそろしものはややこしいが見窄らしいということはない
事実8: あの発達状況はおっそろしない
事実9: もし仮に「この中止ボタンは白くないかあるいはそれは活躍出来るかもしくは両方である」ということは本当でないならばその第四十九条関係はややこしくない
事実10: 「この染織品はややこしいしそれに見窄らしい」ということは間違っている
事実11: あの発達状況が世話しないとすれば施術であるし更に特許侵害である
事実12: もし仮にその第四十九条関係はややこしくないならば「この染織品はややこしいが見窄らしくない」ということは嘘である
事実13: もしもあの発達状況はおっそろしないとすると「この中止ボタンは白くないか活躍出来るかあるいは両方である」ということは成り立たない
事実14: もしも「何らかのものは留置人だけれど犯し難いということはない」ということは成り立つということはないとするとそれは犯し難い

仮説: この染織品はややこしいけど見窄らしくない
1. 事実13と事実8から、推論1: "「この中止ボタンは白くないか活躍出来るかもしくは両方ともだ」ということは成り立たない"が導かれる
2. 推論1と事実9から、推論2: "その第四十九条関係はややこしくない"が導かれる
3. 推論2と事実12から、仮説が否定される

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