この十数軒は粘っこい
fact1: 寝苦しい物は御待ちに成らないし粘っこくない fact2: この月平均が豊臣家ならばこの十数軒は言い出し難い fact3: 存ず一方で手広くないという物はない fact4: この十数軒が豊臣家ならばそれは御待ちに成らなくてしかもそれは寝苦しくない fact5: 実勢は恙無い fact6: もし仮に「あの銅メダルは存ずけど手広くない」ということは事実と異なるならばあの月平均は豊臣家だ fact7: もし何らかのものが言い出し難いとするとそれは寝苦しい fact8: もしもなんらかのものが寝苦しいとしたら御待ちに成らない fact9: 「この十数軒は御待ちに成らない」ということは間違いでない fact10: 仮に「この十数軒は寝苦しい」ということは本当であるならばそれは御待ちに成らない fact11: あの銅メダルが存ずないならこの月平均は豊臣家である fact12: この十数軒は救い難くない fact13: もしこの月平均が豊臣家ならそれは御待ちに成らないしそれにそれは寝苦しくない fact14: 豊臣家は手広いということはないし更に御待ちに成らない
fact3 -> int1: 「あの銅メダルは存ずけれどそれは手広くない」ということは成り立つということはない; int1 & fact6 -> int2: この月平均は豊臣家である; int2 & fact2 -> int3: この十数軒は言い出し難い; fact7 -> int4: 仮にこの十数軒が言い出し難いとすれば寝苦しい; int3 & int4 -> int5: この十数軒は寝苦しい; fact1 -> int6: もしもこの十数軒が寝苦しいとするとそれは御待ちに成らないしそれは粘っこくない; int5 & int6 -> int7: この十数軒は御待ちに成らないししかも粘っこいということはない; int7 -> hypothesis;
$facts$ = fact1: 寝苦しい物は御待ちに成らないし粘っこくない fact2: この月平均が豊臣家ならばこの十数軒は言い出し難い fact3: 存ず一方で手広くないという物はない fact4: この十数軒が豊臣家ならばそれは御待ちに成らなくてしかもそれは寝苦しくない fact5: 実勢は恙無い fact6: もし仮に「あの銅メダルは存ずけど手広くない」ということは事実と異なるならばあの月平均は豊臣家だ fact7: もし何らかのものが言い出し難いとするとそれは寝苦しい fact8: もしもなんらかのものが寝苦しいとしたら御待ちに成らない fact9: 「この十数軒は御待ちに成らない」ということは間違いでない fact10: 仮に「この十数軒は寝苦しい」ということは本当であるならばそれは御待ちに成らない fact11: あの銅メダルが存ずないならこの月平均は豊臣家である fact12: この十数軒は救い難くない fact13: もしこの月平均が豊臣家ならそれは御待ちに成らないしそれにそれは寝苦しくない fact14: 豊臣家は手広いということはないし更に御待ちに成らない ; $hypothesis$ = この十数軒は粘っこい ; $proof$ = 
fact3 -> int1: 「あの銅メダルは存ずけれどそれは手広くない」ということは成り立つということはない; int1 & fact6 -> int2: この月平均は豊臣家である; int2 & fact2 -> int3: この十数軒は言い出し難い; fact7 -> int4: 仮にこの十数軒が言い出し難いとすれば寝苦しい; int3 & int4 -> int5: この十数軒は寝苦しい; fact1 -> int6: もしもこの十数軒が寝苦しいとするとそれは御待ちに成らないしそれは粘っこくない; int5 & int6 -> int7: この十数軒は御待ちに成らないししかも粘っこいということはない; int7 -> hypothesis; __DISPROVED__
事実1: 寝苦しい物は御待ちに成らないし粘っこくない
事実2: この月平均が豊臣家ならばこの十数軒は言い出し難い
事実3: 存ず一方で手広くないという物はない
事実4: この十数軒が豊臣家ならばそれは御待ちに成らなくてしかもそれは寝苦しくない
事実5: 実勢は恙無い
事実6: もし仮に「あの銅メダルは存ずけど手広くない」ということは事実と異なるならばあの月平均は豊臣家だ
事実7: もし何らかのものが言い出し難いとするとそれは寝苦しい
事実8: もしもなんらかのものが寝苦しいとしたら御待ちに成らない
事実9: 「この十数軒は御待ちに成らない」ということは間違いでない
事実10: 仮に「この十数軒は寝苦しい」ということは本当であるならばそれは御待ちに成らない
事実11: あの銅メダルが存ずないならこの月平均は豊臣家である
事実12: この十数軒は救い難くない
事実13: もしこの月平均が豊臣家ならそれは御待ちに成らないしそれにそれは寝苦しくない
事実14: 豊臣家は手広いということはないし更に御待ちに成らない

仮説: この十数軒は粘っこい
1. 事実3から、推論1: "「あの銅メダルは存ずけれどそれは手広くない」ということは成り立つということはない"が導かれる
2. 推論1と事実6から、推論2: "この月平均は豊臣家である"が導かれる
3. 推論2と事実2から、推論3: "この十数軒は言い出し難い"が導かれる
4. 事実7から、推論4: "仮にこの十数軒が言い出し難いとすれば寝苦しい"が導かれる
5. 推論3と推論4から、推論5: "この十数軒は寝苦しい"が導かれる
6. 事実1から、推論6: "もしもこの十数軒が寝苦しいとするとそれは御待ちに成らないしそれは粘っこくない"が導かれる
7. 推論5と推論6から、推論7: "この十数軒は御待ちに成らないししかも粘っこいということはない"が導かれる
8. 推論7から、仮説が否定される

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