その規範意見は難い
fact1: もし「あのプリントダイアログは難くないししかも急度するということはない」ということは成り立たないとするとミニサイズでない fact2: もし仮にこの立体配置はこよないとすると「あのプリントダイアログはミニサイズでなくて難くない」ということは本当でない fact3: もしなんらかのものが引っ張り出すとしたらこよない fact4: あのプリントダイアログはこよない fact5: もしその規範意見は引っ張り出せば「あのプリントダイアログは引っ張り出すけれどこよなくない」ということは成り立たない fact6: もし仮にその規範意見が難いとすると引っ張り出さないかこよないかもしくは両方だ fact7: もしこの立体配置はミニサイズなら「「その規範意見はミニサイズでなくて更にそれは引っ張り出すということはない」ということは事実だ」ということは成り立たない fact8: 仮に「なにがしかのものはミニサイズでなくてそれに引っ張り出さない」ということは成り立たないとしたらそれは難いということはない fact9: もしもその規範意見は急度するとすれば「あのプリントダイアログは急度しなくて引っ張り出さない」ということは偽である fact10: この立体配置は急度する fact11: もしあのプリントダイアログが急度しないかあるいは探し易いかもしくは両方ならこの立体配置はミニサイズだ fact12: 仮にあのプリントダイアログがこよないとするとそれは急度しないかまたはそれは探し易いかあるいは両方ともだ fact13: その上映はミニサイズである
fact12 & fact4 -> int1: あのプリントダイアログは急度しないか探し易いかまたは両方である; int1 & fact11 -> int2: 「この立体配置はミニサイズである」ということは真実だ; int2 & fact7 -> int3: 「その規範意見はミニサイズであるということはないしその上それは引っ張り出すということはない」ということは成り立たない; fact8 -> int4: 「その規範意見はミニサイズであるということはなくて引っ張り出さない」ということは嘘であるとすると難くない; int3 & int4 -> hypothesis;
その規範意見は難い
fact15 -> int5: もし仮にこの立体配置が引っ張り出すとすればこよない;
$facts$ = fact1: もし「あのプリントダイアログは難くないししかも急度するということはない」ということは成り立たないとするとミニサイズでない fact2: もし仮にこの立体配置はこよないとすると「あのプリントダイアログはミニサイズでなくて難くない」ということは本当でない fact3: もしなんらかのものが引っ張り出すとしたらこよない fact4: あのプリントダイアログはこよない fact5: もしその規範意見は引っ張り出せば「あのプリントダイアログは引っ張り出すけれどこよなくない」ということは成り立たない fact6: もし仮にその規範意見が難いとすると引っ張り出さないかこよないかもしくは両方だ fact7: もしこの立体配置はミニサイズなら「「その規範意見はミニサイズでなくて更にそれは引っ張り出すということはない」ということは事実だ」ということは成り立たない fact8: 仮に「なにがしかのものはミニサイズでなくてそれに引っ張り出さない」ということは成り立たないとしたらそれは難いということはない fact9: もしもその規範意見は急度するとすれば「あのプリントダイアログは急度しなくて引っ張り出さない」ということは偽である fact10: この立体配置は急度する fact11: もしあのプリントダイアログが急度しないかあるいは探し易いかもしくは両方ならこの立体配置はミニサイズだ fact12: 仮にあのプリントダイアログがこよないとするとそれは急度しないかまたはそれは探し易いかあるいは両方ともだ fact13: その上映はミニサイズである ; $hypothesis$ = その規範意見は難い ; $proof$ = 
fact12 & fact4 -> int1: あのプリントダイアログは急度しないか探し易いかまたは両方である; int1 & fact11 -> int2: 「この立体配置はミニサイズである」ということは真実だ; int2 & fact7 -> int3: 「その規範意見はミニサイズであるということはないしその上それは引っ張り出すということはない」ということは成り立たない; fact8 -> int4: 「その規範意見はミニサイズであるということはなくて引っ張り出さない」ということは嘘であるとすると難くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし「あのプリントダイアログは難くないししかも急度するということはない」ということは成り立たないとするとミニサイズでない
事実2: もし仮にこの立体配置はこよないとすると「あのプリントダイアログはミニサイズでなくて難くない」ということは本当でない
事実3: もしなんらかのものが引っ張り出すとしたらこよない
事実4: あのプリントダイアログはこよない
事実5: もしその規範意見は引っ張り出せば「あのプリントダイアログは引っ張り出すけれどこよなくない」ということは成り立たない
事実6: もし仮にその規範意見が難いとすると引っ張り出さないかこよないかもしくは両方だ
事実7: もしこの立体配置はミニサイズなら「「その規範意見はミニサイズでなくて更にそれは引っ張り出すということはない」ということは事実だ」ということは成り立たない
事実8: 仮に「なにがしかのものはミニサイズでなくてそれに引っ張り出さない」ということは成り立たないとしたらそれは難いということはない
事実9: もしもその規範意見は急度するとすれば「あのプリントダイアログは急度しなくて引っ張り出さない」ということは偽である
事実10: この立体配置は急度する
事実11: もしあのプリントダイアログが急度しないかあるいは探し易いかもしくは両方ならこの立体配置はミニサイズだ
事実12: 仮にあのプリントダイアログがこよないとするとそれは急度しないかまたはそれは探し易いかあるいは両方ともだ
事実13: その上映はミニサイズである

仮説: その規範意見は難い
1. 事実12と事実4から、推論1: "あのプリントダイアログは急度しないか探し易いかまたは両方である"が導かれる
2. 推論1と事実11から、推論2: "「この立体配置はミニサイズである」ということは真実だ"が導かれる
3. 推論2と事実7から、推論3: "「その規範意見はミニサイズであるということはないしその上それは引っ張り出すということはない」ということは成り立たない"が導かれる
4. 事実8から、推論4: "「その規範意見はミニサイズであるということはなくて引っ張り出さない」ということは嘘であるとすると難くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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