このルーンは観光客らしい
fact1: この行動内容は御座らない fact2: このルーンは恥ずかし fact3: このルーンはＡ店だ fact4: とある物は狡賢くないならば「恥ずかしということはなくてＡ店でない」ということは間違いだ fact5: 「もしこの真似が移行出来るけれど薄暗いということはないとしたらこの行動内容は狡賢くない」ということは成り立つ fact6: 「その要職は恥ずかしということはない」ということは真実である fact7: もしも「この行動内容は観光客らしい」ということは真実ならこのルーンはＡ店だということはない fact8: 崩れ易いものは移行出来るけれど薄暗いということはない fact9: 仮にこのルーンがＡ店であるとしたらこの行動内容は観光客らしくない fact10: 「その肋骨全体は崩れ易くないけどどさだ」ということは間違いだとしたら崩れ易い fact11: もしこのルーンが恥ずかしか観光客らしいならばこの行動内容はＡ店でない fact12: あの国道沿いは観光客らしくない fact13: この行動内容は恥ずかし fact14: もしその肋骨全体は崩れ易いなら「この真似は崩れ易い」ということは成り立つ fact15: もしもこの行動内容がＡ店であるかそれが恥ずかしならこのルーンは観光客らしくない
fact13 -> int1: この行動内容はＡ店であるか恥ずかし; int1 & fact15 -> hypothesis;
このルーンは観光客らしい
fact16 -> int2: 「この行動内容は狡賢くないならば「この行動内容は恥ずかしないしその上ａ店であるということはない」ということは正しくない」ということは事実である; fact17 -> int3: もし仮に「この真似は崩れ易い」ということは誤りでないとしたらそれは移行出来るがしかし薄暗くない;
$facts$ = fact1: この行動内容は御座らない fact2: このルーンは恥ずかし fact3: このルーンはＡ店だ fact4: とある物は狡賢くないならば「恥ずかしということはなくてＡ店でない」ということは間違いだ fact5: 「もしこの真似が移行出来るけれど薄暗いということはないとしたらこの行動内容は狡賢くない」ということは成り立つ fact6: 「その要職は恥ずかしということはない」ということは真実である fact7: もしも「この行動内容は観光客らしい」ということは真実ならこのルーンはＡ店だということはない fact8: 崩れ易いものは移行出来るけれど薄暗いということはない fact9: 仮にこのルーンがＡ店であるとしたらこの行動内容は観光客らしくない fact10: 「その肋骨全体は崩れ易くないけどどさだ」ということは間違いだとしたら崩れ易い fact11: もしこのルーンが恥ずかしか観光客らしいならばこの行動内容はＡ店でない fact12: あの国道沿いは観光客らしくない fact13: この行動内容は恥ずかし fact14: もしその肋骨全体は崩れ易いなら「この真似は崩れ易い」ということは成り立つ fact15: もしもこの行動内容がＡ店であるかそれが恥ずかしならこのルーンは観光客らしくない ; $hypothesis$ = このルーンは観光客らしい ; $proof$ = 
fact13 -> int1: この行動内容はＡ店であるか恥ずかし; int1 & fact15 -> hypothesis; __DISPROVED__
事実1: この行動内容は御座らない
事実2: このルーンは恥ずかし
事実3: このルーンはＡ店だ
事実4: とある物は狡賢くないならば「恥ずかしということはなくてＡ店でない」ということは間違いだ
事実5: 「もしこの真似が移行出来るけれど薄暗いということはないとしたらこの行動内容は狡賢くない」ということは成り立つ
事実6: 「その要職は恥ずかしということはない」ということは真実である
事実7: もしも「この行動内容は観光客らしい」ということは真実ならこのルーンはＡ店だということはない
事実8: 崩れ易いものは移行出来るけれど薄暗いということはない
事実9: 仮にこのルーンがＡ店であるとしたらこの行動内容は観光客らしくない
事実10: 「その肋骨全体は崩れ易くないけどどさだ」ということは間違いだとしたら崩れ易い
事実11: もしこのルーンが恥ずかしか観光客らしいならばこの行動内容はＡ店でない
事実12: あの国道沿いは観光客らしくない
事実13: この行動内容は恥ずかし
事実14: もしその肋骨全体は崩れ易いなら「この真似は崩れ易い」ということは成り立つ
事実15: もしもこの行動内容がＡ店であるかそれが恥ずかしならこのルーンは観光客らしくない

仮説: このルーンは観光客らしい
1. 事実13から、推論1: "この行動内容はＡ店であるか恥ずかし"が導かれる
2. 推論1と事実15から、仮説が否定される

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