この葉書サイズは歩き辛くない
fact1: もし仮にそのショベルカーが詰まり易いならばあの民主社会主義運動は若々しい fact2: もし仮にそのショベルカーが危険度だとしたらその民主社会主義運動は若々しい fact3: その民主社会主義運動が危険度であるとしたらそのショベルカーは若々しい fact4: もし仮にその民主社会主義運動が若々しいならその一世代は限定する fact5: もし仮にその一世代が若々しいとすればそのショベルカーは危険度でないし詰まり易くない fact6: そのショベルカーは詰まり易いかあるいは危険度である fact7: もし仮に「その一世代は詰まり易い」ということは成り立つとすればそのショベルカーは限定する fact8: もし仮にその一世代が限定するならこの葉書サイズは歩き辛い fact9: 「そのショベルカーは御取り寄せないかまたは限定するかあるいは両方ともである」ということは真実でないとすればそれは若々しい
fact6 & fact1 & fact2 -> int1: その民主社会主義運動は若々しい; int1 & fact4 -> int2: その一世代は限定する; int2 & fact8 -> hypothesis;
この葉書サイズは歩き辛いということはない
$facts$ = fact1: もし仮にそのショベルカーが詰まり易いならばあの民主社会主義運動は若々しい fact2: もし仮にそのショベルカーが危険度だとしたらその民主社会主義運動は若々しい fact3: その民主社会主義運動が危険度であるとしたらそのショベルカーは若々しい fact4: もし仮にその民主社会主義運動が若々しいならその一世代は限定する fact5: もし仮にその一世代が若々しいとすればそのショベルカーは危険度でないし詰まり易くない fact6: そのショベルカーは詰まり易いかあるいは危険度である fact7: もし仮に「その一世代は詰まり易い」ということは成り立つとすればそのショベルカーは限定する fact8: もし仮にその一世代が限定するならこの葉書サイズは歩き辛い fact9: 「そのショベルカーは御取り寄せないかまたは限定するかあるいは両方ともである」ということは真実でないとすればそれは若々しい ; $hypothesis$ = この葉書サイズは歩き辛くない ; $proof$ = 
fact6 & fact1 & fact2 -> int1: その民主社会主義運動は若々しい; int1 & fact4 -> int2: その一世代は限定する; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮にそのショベルカーが詰まり易いならばあの民主社会主義運動は若々しい
事実2: もし仮にそのショベルカーが危険度だとしたらその民主社会主義運動は若々しい
事実3: その民主社会主義運動が危険度であるとしたらそのショベルカーは若々しい
事実4: もし仮にその民主社会主義運動が若々しいならその一世代は限定する
事実5: もし仮にその一世代が若々しいとすればそのショベルカーは危険度でないし詰まり易くない
事実6: そのショベルカーは詰まり易いかあるいは危険度である
事実7: もし仮に「その一世代は詰まり易い」ということは成り立つとすればそのショベルカーは限定する
事実8: もし仮にその一世代が限定するならこの葉書サイズは歩き辛い
事実9: 「そのショベルカーは御取り寄せないかまたは限定するかあるいは両方ともである」ということは真実でないとすればそれは若々しい

仮説: この葉書サイズは歩き辛くない
1. 事実6と事実1と事実2から、推論1: "その民主社会主義運動は若々しい"が導かれる
2. 推論1と事実4から、推論2: "その一世代は限定する"が導かれる
3. 推論2と事実8から、仮説が否定される

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