そのサーキット走行は冷やかす
fact1: 「冷やかすかまたは仲間らしいかもしくはどちらもな」ものはある fact2: 「「仲間らしいということはない」ということは確かである」ものがあればそのサーキット走行は冷やかさない fact3: この食糧供出は減価償却しない fact4: 仮にこの食糧供出は入り口側であるなら冷やかすかもしくは仲間らしくない fact5: この食糧供出はシュマーレンバッハであるかまたはそれは仲間らしいかまたはどちらもだ fact6: そのサーキット走行は好ましい fact7: 「シュマーレンバッハであるかもしくは仲間らしいかもしくはどちらもである」ものはある fact8: もし仮にこの食糧供出が入り口側でないとするとそのサーキット走行は冷やかすしかつそれは管財人である fact9: 何らかのものは冷やかすかシュマーレンバッハであるかまたはどちらもである fact10: もしとある物は入り口側でないとするとそれは管財人であって加えて冷やかす fact11: この食糧供出は入り口側である fact12: 管財人はシュマーレンバッハであるかもしくは仲間らしくない fact13: そのサーキット走行は掛け難いしかつそれは風紀である fact14: この食糧供出が管財人だしまた入り口側である fact15: もしなにかは管財人ならばシュマーレンバッハであるかそれは仲間らしいかまたはどちらもだ fact16: この憎さは参加し易いし仲間らしい fact17: もしとあるものがシュマーレンバッハであるかまたは仲間らしくないならばあのサーキット走行は冷やかさない fact18: もしこの食糧供出が管財人だとすればそれはシュマーレンバッハであるかあるいはそれは仲間らしいかまたは両方ともだ
fact14 -> int1: この食糧供出は管財人だ; fact12 -> int2: この食糧供出が管財人ならばそれはシュマーレンバッハであるかまたは仲間らしくないかまたは両方だ; int1 & int2 -> int3: この食糧供出はシュマーレンバッハであるかまたは仲間らしくないかあるいは両方ともである; int3 -> int4: 「シュマーレンバッハであるか仲間らしくないかもしくは両方である」物はある; int4 & fact17 -> hypothesis;
そのサーキット走行は冷やかす
fact19 -> int5: もし仮にそのサーキット走行が入り口側でないとすると管財人であるしおまけにそれは冷やかす;
$facts$ = fact1: 「冷やかすかまたは仲間らしいかもしくはどちらもな」ものはある fact2: 「「仲間らしいということはない」ということは確かである」ものがあればそのサーキット走行は冷やかさない fact3: この食糧供出は減価償却しない fact4: 仮にこの食糧供出は入り口側であるなら冷やかすかもしくは仲間らしくない fact5: この食糧供出はシュマーレンバッハであるかまたはそれは仲間らしいかまたはどちらもだ fact6: そのサーキット走行は好ましい fact7: 「シュマーレンバッハであるかもしくは仲間らしいかもしくはどちらもである」ものはある fact8: もし仮にこの食糧供出が入り口側でないとするとそのサーキット走行は冷やかすしかつそれは管財人である fact9: 何らかのものは冷やかすかシュマーレンバッハであるかまたはどちらもである fact10: もしとある物は入り口側でないとするとそれは管財人であって加えて冷やかす fact11: この食糧供出は入り口側である fact12: 管財人はシュマーレンバッハであるかもしくは仲間らしくない fact13: そのサーキット走行は掛け難いしかつそれは風紀である fact14: この食糧供出が管財人だしまた入り口側である fact15: もしなにかは管財人ならばシュマーレンバッハであるかそれは仲間らしいかまたはどちらもだ fact16: この憎さは参加し易いし仲間らしい fact17: もしとあるものがシュマーレンバッハであるかまたは仲間らしくないならばあのサーキット走行は冷やかさない fact18: もしこの食糧供出が管財人だとすればそれはシュマーレンバッハであるかあるいはそれは仲間らしいかまたは両方ともだ ; $hypothesis$ = そのサーキット走行は冷やかす ; $proof$ = 
fact14 -> int1: この食糧供出は管財人だ; fact12 -> int2: この食糧供出が管財人ならばそれはシュマーレンバッハであるかまたは仲間らしくないかまたは両方だ; int1 & int2 -> int3: この食糧供出はシュマーレンバッハであるかまたは仲間らしくないかあるいは両方ともである; int3 -> int4: 「シュマーレンバッハであるか仲間らしくないかもしくは両方である」物はある; int4 & fact17 -> hypothesis; __DISPROVED__
事実1: 「冷やかすかまたは仲間らしいかもしくはどちらもな」ものはある
事実2: 「「仲間らしいということはない」ということは確かである」ものがあればそのサーキット走行は冷やかさない
事実3: この食糧供出は減価償却しない
事実4: 仮にこの食糧供出は入り口側であるなら冷やかすかもしくは仲間らしくない
事実5: この食糧供出はシュマーレンバッハであるかまたはそれは仲間らしいかまたはどちらもだ
事実6: そのサーキット走行は好ましい
事実7: 「シュマーレンバッハであるかもしくは仲間らしいかもしくはどちらもである」ものはある
事実8: もし仮にこの食糧供出が入り口側でないとするとそのサーキット走行は冷やかすしかつそれは管財人である
事実9: 何らかのものは冷やかすかシュマーレンバッハであるかまたはどちらもである
事実10: もしとある物は入り口側でないとするとそれは管財人であって加えて冷やかす
事実11: この食糧供出は入り口側である
事実12: 管財人はシュマーレンバッハであるかもしくは仲間らしくない
事実13: そのサーキット走行は掛け難いしかつそれは風紀である
事実14: この食糧供出が管財人だしまた入り口側である
事実15: もしなにかは管財人ならばシュマーレンバッハであるかそれは仲間らしいかまたはどちらもだ
事実16: この憎さは参加し易いし仲間らしい
事実17: もしとあるものがシュマーレンバッハであるかまたは仲間らしくないならばあのサーキット走行は冷やかさない
事実18: もしこの食糧供出が管財人だとすればそれはシュマーレンバッハであるかあるいはそれは仲間らしいかまたは両方ともだ

仮説: そのサーキット走行は冷やかす
1. 事実14から、推論1: "この食糧供出は管財人だ"が導かれる
2. 事実12から、推論2: "この食糧供出が管財人ならばそれはシュマーレンバッハであるかまたは仲間らしくないかまたは両方だ"が導かれる
3. 推論1と推論2から、推論3: "この食糧供出はシュマーレンバッハであるかまたは仲間らしくないかあるいは両方ともである"が導かれる
4. 推論3から、推論4: "「シュマーレンバッハであるか仲間らしくないかもしくは両方である」物はある"が導かれる
5. 推論4と事実17から、仮説が否定される

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